tc158.hs 275 Bytes
Newer Older
1
{-# LANGUAGE Rank2Types #-}
2 3 4 5 6 7 8 9 10 11 12

-- 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