blob: 4414fc9c2135dfb34fdfe86067384235f6c27029 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE Rank2Types #-}
-- Types should be checked for well-formedness only after
-- expanding type synonyms. GHC 5.03 fails this
module ShouldCompile where
type All u = forall x. x->u
type All' u = u -> All u
all1 :: All u -> (u -> All u) -> All u
all1 = undefined
|