blob: 255643a69db3801936fc041e10110da8f9e29d1c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# language GADTSyntax #-}
{-# language KindSignatures #-}
{-# language MagicHash #-}
{-# language UnliftedNewtypes #-}
module UnliftedNewtypesMismatchedKindRecord where
import GHC.Exts
newtype Foo :: TYPE 'IntRep where
FooC :: { getFoo :: Word# } -> Foo
|