Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / tc158.hs
1 {-# LANGUAGE RankNTypes #-}
2
3 -- Types should be checked for well-formedness only after
4 -- expanding type synonyms. GHC 5.03 fails this
5
6 module ShouldCompile where
7
8 type All u = forall x. x->u
9 type All' u = u -> All u
10
11 all1 :: All u -> (u -> All u) -> All u
12 all1 _ _ = undefined