ghc/tests/typecheck/should_compile/tc102.hs

   1 {-# OPTIONS -fglasgow-exts #-}
   2
   3 -- !!! Caused ghc-4.04proto to report a bogus type error
   4 -- !!! (as reported by Keith)
   5
   6 -- The type error arose from a mistake in tcMatches.tc_match
   7
   8 -- Involves pattern type signatures
   9
  10 module ShouldCompile where
  11
  12 p = let y = p in \ (x::a) -> x