SCC analysis for instances as well as types/classes
[ghc.git] / testsuite / tests / typecheck / should_compile / tc146.hs
1 {-# LANGUAGE RankNTypes #-}
2
3 -- The interesting thign about this one is that
4 -- there's an unbound type variable of kind *->*
5 -- that the typechecker should default to some
6 -- arbitrary type.
7 --
8 -- GHC 5.02 could only really deal with such things
9 -- of kind *, but 5.03 extended that to *->..->*
10 -- Still not complete, but a lot better.
11
12 module ShouldCompile where
13
14 f :: (forall a b . a b -> int) -> (forall c . c int) -> int
15 f x y = x y