[project @ 2005-12-09 19:16:58 by simonpj]

A minor, probably redundant, test

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

@@ -137,3 +137,4 @@ test('tcfail149', normal, compile_fail, [''])
 test('tcfail150', normal, compile_fail, [''])
 test('tcfail151', normal, compile_fail, [''])
 test('tcfail152', normal, compile_fail, [''])
+test('tcfail153', normal, compile_fail, [''])

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

+-- Killed a test compiler, so I thought it was worth including
+
+module ShouldFail where
+
+f :: a -> [a]
+f x = g x
+    where
+      g y = if y  then [] else [y]