[project @ 2006-01-05 10:06:30 by simonpj]

Add test for newtype existential

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

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

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

+{-# OPTIONS -fglasgow-exts #-}
+
+-- Illegal existential context on a newtype
+
+module ShouldFail where
+
+newtype Foo = forall a . Foo a
+

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

+
+tcfail156.hs:7:14:
+    A newtype constructor cannot have an existential context,
+      but `Foo' does
+    In the newtype declaration for `Foo'