Type families: T2157

testsuite/tests/ghc-regress/indexed-types/should_fail/Simple12.stderr

 
 Simple12.hs:8:0:
-    Illegal polymorphic type in type instance: forall a. [a]
+    Illegal polymorphic or qualified type: forall a. [a]
     In the type synonym instance declaration for `C'

testsuite/tests/ghc-regress/indexed-types/should_fail/T2157.hs

+{-# LANGUAGE TypeFamilies, LiberalTypeSynonyms #-}
+
+module T2157 where
+
+type S a b = a
+type family F a :: * -> *
+type instance F a = S a

testsuite/tests/ghc-regress/indexed-types/should_fail/T2157.stderr

+
+T2157.hs:7:0:
+    Type synonym `S' should have 2 arguments, but has been given 1
+    In the type synonym instance declaration for `F'

testsuite/tests/ghc-regress/indexed-types/should_fail/all.T

@@ -28,6 +28,7 @@ test('TyFamArity2', normal, compile_fail, [''])
 test('TyFamUndec', normal, compile_fail, [''])
 test('T2334', if_compiler_lt('ghc', '6.9', expect_fail), compile_fail, [''])
 test('T1900', if_compiler_lt('ghc', '6.9', expect_fail), compile_fail, [''])
+test('T2157', if_compiler_lt('ghc', '6.9', expect_fail), compile_fail, [''])
 
 test('GADTwrong1', if_compiler_lt('ghc', '6.9', expect_fail), compile_fail, [''])