[Haskell-cafe] Template Haskell reified type.
sergueyz at gmail.com
Tue May 10 09:24:28 CEST 2011
I turned out that it is in ghc 6.12.
The same code in ghc 7.0.1 works just fine, Reification produces
TupleT and ListT. I just rechecked it.
I forgot that I use 6.12. Sorry about that.
2011/5/10 Simon Peyton-Jones <simonpj at microsoft.com>:
> Can you give a concrete example? There is code in GHC that is supposed to produce TupleT and ListT!
> | -----Original Message-----
> | From: haskell-cafe-bounces at haskell.org [mailto:haskell-cafe-bounces at haskell.org] On
> | Behalf Of Serguey Zefirov
> | Sent: 09 May 2011 14:43
> | To: haskell
> | 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 asymmetry, I think.
> | Also, it took purity from one of my functions while I debugged that
> | problem. I had to make it into Q monad. ;)
> | _______________________________________________
> | Haskell-Cafe mailing list
> | Haskell-Cafe at haskell.org
> | http://www.haskell.org/mailman/listinfo/haskell-cafe
More information about the Haskell-Cafe