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 <simo...@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-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 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 > > _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe