Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / T9569a.hs
1 {-# LANGUAGE RankNTypes #-}
2 module T9569a where
3
4 g :: (Int -> Int) -> Int
5 g f = f 4
6
7 f1 :: (forall a. a -> a) -> Int
8 f1 = g
9
10 f2 :: (forall a. a -> a) -> Int
11 f2 x = g x