blob: 81a2041d2bc4324a42eb2f72c0f1718a7f7dc6c5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UnliftedNewtypes #-}
-- In tcConDecl, there is a place where a panic can happen if
-- a newtype has multiple fields. This test is here to make
-- sure that the appropriate validity checks happen before
-- we get to the panic. See Note [Kind-checking the field type].
module UnliftedNewtypesMultiFieldGadt where
import GHC.Exts
import Data.Kind
newtype Foo :: TYPE 'IntRep where
FooC :: Bool -> Char -> Foo
|