testsuite/tests/typecheck/should_fail/T3102.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# OPTIONS -XImplicitParams -XRankNTypes #-}
 module Bug where

t :: forall a. ((?p :: Int) => a) -> String
t _ = "Hello"

f :: (forall a. a -> String) -> Int
f _ = 3

result :: Int
result = f t