Since you are proposing creating an abstract type TExp that can't be
created manually in contrast to Exp, I have a question that might simply
be a reflection of ignorance on my part on how TH works now.
As far as I can tell by looking through the documentation, when I want
to create an identifier with a computed name I have to build up the AST
manually rather than by using quoters since there is no way to splice an
identifier name into a quoter. Does this mean that it will not be
possible to construct a TExp with a computed identifier name, since one
can only use the quoter syntax and not manual construction?
Thanks,
Greg
On 10/18/10 3:02 PM, Simon Peyton-Jones wrote:
Folks
Following lots of feedback from users, especially at ICFP, I've
evolved some proposals for Template Haskell, that should make it both
more expressive, and more secure.
http://hackage.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal
Do let me know what you think. Discussion by email is fine (cc me if
it's on Haskell-cafe), or comments direct on the Trac.
(None of this will be in GHC 7.0; it's a proposed plan for
post-release improvements.)
Thanks
Simon
_______________________________________________
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