Test Trac #5938

testsuite/tests/polykinds/T5938.hs

+{-# LANGUAGE PolyKinds, TypeFamilies, DataKinds #-}
+module T5938 where
+
+type family KindFam a
+type instance KindFam (a :: *) = Int
+type instance KindFam (a :: Bool) = Bool
+type instance KindFam (a :: Maybe k) = Char -- doesn't work

testsuite/tests/polykinds/all.T

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