| Subject: [Haskell-cafe] Template Haskell reified type.
|
| Language.Haskell.TH.Type contains, among others, two constructors:
| TupleT Int and ListT.
|
| I can safely construct types using them, but reification returns ConT
| GHC.Tuple.(,) and ConT GHC.Types.[] respectively.
|
| This is not fair
that is supposed to
produce TupleT and ListT!
Simon
| -Original Message-
| From: haskell-cafe-boun...@haskell.org
[mailto:haskell-cafe-boun...@haskell.org] On
| Behalf Of Serguey Zefirov
| Sent: 09 May 2011 14:43
| To: haskell
| Subject: [Haskell-cafe] Template Haskell reified
Language.Haskell.TH.Type contains, among others, two constructors:
TupleT Int and ListT.
I can safely construct types using them, but reification returns ConT
GHC.Tuple.(,) and ConT GHC.Types.[] respectively.
This is not fair asymmetry, I think.
Also, it took purity from one of my functions