[project @ 2005-08-30 12:06:36 by simonpj]

Another type-formation test (cf Sourceforge 1276115)

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

@@ -132,3 +132,4 @@ test('tcfail144', normal, compile_fail, [''])
 test('tcfail145', normal, compile_fail, [''])
 test('tcfail146', normal, compile_fail, [''])
 test('tcfail147', normal, compile_fail, [''])
+test('tcfail148', normal, compile_fail, [''])

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

+-- This one caused a panic in GHC 6.4
+
+module Foo1 where
+
+data List elem = Cons elem List | Nil
+
+t1 :: List
+t1 = Cons 1 Nil

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

+
+tcfail148.hs:5:27:
+    `List' is not applied to enough type arguments
+    Expected kind `?', but `List' has kind `* -> *'
+    In the data type declaration for `List'