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
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@haskell.org [mailto:haskell-cafe-bounces@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@haskell.org | http://www.haskell.org/mailman/listinfo/haskell-cafe