[project @ 2005-10-31 10:15:09 by simonpj]

Another existential escape test

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

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

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

+{-# OPTIONS -fglasgow-exts #-}
+
+-- This test made Hugs fail (Oct 05) because the constraint
+-- from the 'toInteger' call escaped from the pattern match
+
+module ShouldFail where
+
+data T = forall a. C a
+
+test (C x) = toInteger x

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

+ 
\ No newline at end of file