blob: da1a1602a39b0c452d6e0af737540e0f2b144047 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE StandaloneKindSignatures, MagicHash, ExplicitForAll, PolyKinds,
DataKinds, UnliftedDatatypes, PatternSynonyms #-}
module T20423 where
import GHC.Exts
type LPInt :: forall (l :: Levity) -> TYPE (BoxedRep l)
data LPInt l = MkI Int#
pattern MkIPS :: Int# -> LPInt lev
pattern MkIPS n = MkI n
|
