blob: 6c085267db6307deb03e447d765213dc3e0665fa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# language MagicHash #-}
{-# language GADTSyntax #-}
{-# language KindSignatures #-}
{-# language UnliftedNewtypes #-}
module UnliftedNewtypesMismatchedKind where
import Data.Kind (Type)
import GHC.Exts
newtype T :: Type where
MkT :: Int# -> T
|