Test Trac #5935

testsuite/tests/polykinds/T5935.hs

+{-# LANGUAGE PolyKinds,
+             GADTs,
+             DataKinds,
+             KindSignatures
+ #-}
+
+module T5935 where
+
+data SList a where
+  SNil :: SList '[]
+
+x :: SList ('[] :: [Bool])
+x = SNil

testsuite/tests/polykinds/all.T

@@ -30,4 +30,6 @@ test('T5912', normal, compile, [''])
 test('T5881', normal, run_command, ['$MAKE -s --no-print-directory T5881'])
 test('T5716', normal, compile_fail, [''])
 test('T5937', normal, compile, [''])
+test('T5935', normal, compile, [''])
+