[project @ 2001-08-27 11:41:37 by simonmar]

Add test for scoped type variables w/ existential constructors (failed
in 5.00 but works in 5.02, reported by Peter Gammie
<peteg@cse.unsw.EDU.AU>)

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

@@ -138,3 +138,4 @@ test "tc131" { myvtc("") }
 test "tc132" { myvtc("-package lang") }
 test "tc133" { myvtc("") }
 test "tc134" { myvtc("") }
+test "tc135" { myvtc("") }

testsuite/tests/ghc-regress/typecheck/should_compile/tc135.hs

+{-# OPTIONS -fglasgow-exts #-}
+
+-- !!! scoped type variables w/ existential types
+-- this test failed in GHC 5.00
+
+module ShouldCompile where
+
+data T = forall a. MkT [a]
+
+f :: T -> T
+f (MkT [t::a]) = MkT t3
+    where t3::[a] = [t,t,t]