diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc102.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/tc102.hs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc102.hs b/testsuite/tests/typecheck/should_compile/tc102.hs new file mode 100644 index 0000000000..c71b2d0ec0 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/tc102.hs @@ -0,0 +1,13 @@ +{-# LANGUAGE Rank2Types, ScopedTypeVariables #-} + +-- !!! 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 :: forall a. a -> a +p = let y = p in \ (x::a) -> x |