blob: 0a9ed633c2b0ef260cf8693ec2dec413140ac8c1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TemplateHaskell #-}
module TH_PromotedTuple where
import Language.Haskell.TH
data Equal a b where
Refl :: Equal a a
equal :: Equal '(Int, False) $(do ty <- [t| '(Int, False) |]
reportWarning (show ty)
return ty)
equal = Refl
|
