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