blob: 00a3492f3f84d65a2f80b35b61c3c70fdd31b4f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UnboxedTuples #-}
{-# LANGUAGE UnliftedNewtypes #-}
module T20363_show_co where
import GHC.Exts
type NilRep :: RuntimeRep
type family NilRep where
NilRep = TupleRep '[]
type UnitTupleNT :: TYPE NilRep
newtype UnitTupleNT = MkNT (# #)
test1b :: UnitTupleNT -> Int
test1b ( MkNT (# #) ) = 0
|
