[project @ 1999-07-26 15:21:56 by simonpj]

Add tc102

ghc/tests/typecheck/should_compile/tc102.hs

+{-# OPTIONS -fglasgow-exts #-}
+
+-- !!! Caused ghc-4.04proto to report a bogus type error
+-- !!! (as reported by Keith)
+
+-- The type error arose from a mistake in tcMatches.tc_match
+
+-- Involves pattern type signatures
+
+module ShouldCompile where
+
+p = let y = p in \ (x::a) -> x

ghc/tests/typecheck/should_compile/tc102.stderr

+ghc: module version changed to 1; reason: no old .hi file
+__export ShouldCompile p;
+1 p :: __forall [a] => a -> a ;