testsuite/tests/typecheck/should_fail/UnliftedNewtypesMismatchedKindRecord.hs


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