1930f0b92f877d4bdfed688973c4600ba96952ea
[ghc.git] / testsuite / tests / typecheck / should_compile / T7888.hs
1 {-# LANGUAGE RankNTypes, MagicHash #-}
2
3 module T7888 where
4 import GHC.Err( undefined )
5 import GHC.Prim
6
7 {- The fix for #11431 makes this no longer work. But it shouldn't really,
8 without impredicativity.
9 f :: (forall a. a) -> b
10 f = undefined
11 -}
12
13 -- this still had better work, though!
14 g :: Int -> Int#
15 g _ = undefined