[Template-haskell] TH preprocessing

Simon Peyton-Jones simonpj at microsoft.com
Tue May 11 10:02:43 EDT 2004


It's definitely possible.  I don't think it's dead easy.   As I say, I
would be happy to help anyone who wanted to try.

Simon

| -----Original Message-----
| From: template-haskell-bounces at haskell.org
[mailto:template-haskell-bounces at haskell.org] On
| Behalf Of Wolfgang Jeltsch
| Sent: 10 May 2004 20:55
| To: Template Haskell Mailing List
| Subject: Re: [Template-haskell] TH preprocessing
| 
| Am Montag, 10. Mai 2004 10:29 schrieben Sie:
| > Not at present.  It's actually a little trickier than it looks,
because
| > the post-type-checked program (with the splices expanded) has
dictionary
| > stuff floating around, and it's not entirely straightforward to
convert
| > it back to vanilla source Haskell.
| 
| If I understood TH correctly, the expressions after the "splice
operator" $
| describe vanilla source Haskell.  And I assumed that it's this vanilla
source
| code which -ddump-splices outputs. (I've never checked this myself.)
So why
| isn't it possible to replace the splice parts in the *original*
Haskell
| source file with the outputs of -ddump-splices?  This could be done
via some
| search and replace at the text level though this is, of course, not
very
| elegant.
| 
| > [...]
| 
| Wolfgang
| 
| _______________________________________________
| template-haskell mailing list
| template-haskell at haskell.org
| http://www.haskell.org/mailman/listinfo/template-haskell


More information about the template-haskell mailing list