[project @ 2005-03-15 15:41:56 by simonpj]

Add new GADT tests

testsuite/tests/ghc-regress/gadt/all.T

@@ -9,6 +9,8 @@ test('gadt5', normal, compile_and_run, [''])
 test('gadt6', normal, compile, [''])
 test('gadt7', normal, compile_fail, [''])
 test('gadt8', normal, compile, [''])
+test('gadt10', normal, compile_fail, [''])
+test('gadt11', normal, compile_fail, [''])
 test('red-black', normal, compile, [''])
 test('type-rep', normal, compile_and_run, [''])
 test('equal', normal, compile, [''])

testsuite/tests/ghc-regress/gadt/gadt10.hs

+{-# OPTIONS -fglasgow-exts #-}
+
+module ShouldFail where
+
+-- Kind error
+data RInt a where R :: RInt

testsuite/tests/ghc-regress/gadt/gadt10.stderr

+
+gadt10.hs:6:23:
+    Kind error: `RInt' is not applied to enough type arguments
+    In the data type declaration for `RInt'

testsuite/tests/ghc-regress/gadt/gadt11.hs

+{-# OPTIONS -fglasgow-exts #-}
+
+module ShouldFail where
+
+-- Wrong return type
+data X f = X (f ())
+
+data B a where
+  B1 :: X []
+  B2 :: B [Int]
+
+

testsuite/tests/ghc-regress/gadt/gadt11.stderr

+
+gadt11.hs:8:0:
+    Data constructor `B1' returns type `X' instead of its parent type
+    When checking the data constructor: B1
+    In the data type declaration for `B'