blob: c71b2d0ec0ab1af625264bede0ada3a0a1fa74dc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
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
|