[Haskell-cafe] Template Haskell reified type.

[Serguey Zefirov]

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!
>
> Simon
>
> | -----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
>
>