Lower precedence for {-# UNPACK #-}
[ghc.git] / testsuite / tests / typecheck / should_fail / T3102.hs
1 {-# OPTIONS -XImplicitParams -XRankNTypes #-}
2 module Bug where
3
4 t :: forall a. ((?p :: Int) => a) -> String
5 t _ = "Hello"
6
7 f :: (forall a. a -> String) -> Int
8 f _ = 3
9
10 result :: Int
11 result = f t
12
13
14 -- This should work.
15 -- Elaborated result = f (/\a. \x:a. t @a (\p::Int. x))
16 -- But it did not work in 8.0.1; fixed in HEAD