blob: 0bfa55114fc52e5552784ef6e1fbe1bac60fd6fc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE RankNTypes, 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
|