blob: 41f8a63b74a2e0a973a8c24f7caee3301e7689cc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE TypeApplications #-}
module T16293a where
import Data.Coerce
import Data.Proxy
import GHC.Exts
test1a :: () -> Proxy Int
test1a _ = Proxy @Int
test1b :: () -> Proxy# Int
test1b _ = proxy# @Int
test2a :: (() -> Proxy a) -> (() -> Proxy b)
test2a = coerce
test2b :: (() -> Proxy# a) -> (() -> Proxy# b)
test2b = coerce
|
