[project @ 2006-01-04 11:50:44 by simonpj]

Add test for data con returning wrong type

testsuite/tests/ghc-regress/typecheck/should_fail/all.T

@@ -139,3 +139,4 @@ test('tcfail151', normal, compile_fail, [''])
 test('tcfail152', normal, compile_fail, [''])
 test('tcfail153', normal, compile_fail, [''])
 test('tcfail154', normal, compile_fail, [''])
+test('tcfail155', normal, compile_fail, [''])

testsuite/tests/ghc-regress/typecheck/should_fail/tcfail155.hs

+{-# OPTIONS_GHC -fglasgow-exts #-}
+
+-- Data type returns the wrong type
+
+module ShouldFail where
+
+data T a where
+     P :: L1 -> L2
+
+data L1 = L1
+data L2 = L2

testsuite/tests/ghc-regress/typecheck/should_fail/tcfail155.stderr

+
+tcfail155.hs:8:5:
+    Data constructor `P' returns type `L2' instead of its parent type
+    In the definition of data constructor `P'
+    In the data type declaration for `T'