testsuite/tests/typecheck/should_fail/T16829b.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE TypeFamilies #-}
module T16829b where

import GHC.Exts

data family T :: TYPE IntRep
newtype instance T :: TYPE IntRep where
  MkT :: Int# -> T