blob: 9918093b664f960de226f1adae345b12d48f7d99 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE StandaloneKindSignatures, MagicHash, ExplicitForAll, PolyKinds,
DataKinds, UnliftedDatatypes, PatternSynonyms, ViewPatterns,
GADTs #-}
module T20423b where
import GHC.Exts
type LPGADT :: forall (l :: Levity) -> TYPE (BoxedRep l)
data LPGADT l where
MkLifted :: Int -> LPGADT Lifted
MkUnlifted :: Int# -> LPGADT Unlifted
getInt# :: LPGADT l -> Int#
getInt# = undefined
pattern MkIPS :: Int# -> LPGADT l
pattern MkIPS i# <- ( getInt# -> i# )
|