testsuite/tests/typecheck/should_fail/UnliftedNewtypesMismatchedKind.hs


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