Fix #16293 by cleaning up Proxy# infelicities
[ghc.git] / testsuite / tests / primops / should_compile / T16293a.hs
1 {-# LANGUAGE MagicHash #-}
2 {-# LANGUAGE TypeApplications #-}
3 module T16293a where
4
5 import Data.Coerce
6 import Data.Proxy
7 import GHC.Exts
8
9 test1a :: () -> Proxy Int
10 test1a _ = Proxy @Int
11
12 test1b :: () -> Proxy# Int
13 test1b _ = proxy# @Int
14
15 test2a :: (() -> Proxy a) -> (() -> Proxy b)
16 test2a = coerce
17
18 test2b :: (() -> Proxy# a) -> (() -> Proxy# b)
19 test2b = coerce