Make oneShot open-kinded
[ghc.git] / testsuite / tests / typecheck / should_compile / T10744.hs
1 {-# LANGUAGE MagicHash #-}
2 module T10744 where
3
4 import GHC.Exts
5 import GHC.Magic
6
7 -- Checks if oneShot is open-kinded
8
9 f0 :: Int -> Int
10 f0 = oneShot $ \n -> n
11
12 f1 :: Int# -> Int
13 f1 = oneShot $ \n# -> I# n#
14
15 f2 :: Int -> Int#
16 f2 = oneShot $ \(I# n#) -> n#
17