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