[Haskell-cafe] Template Haskell -- when are things evaluated?
alfonso.acosta at gmail.com
Thu Mar 13 09:49:47 EDT 2008
On Thu, Mar 13, 2008 at 11:13 AM, Emil Axelsson <emax at cs.chalmers.se> wrote:
> I'm reading the following rule from your answer:
> [|exp|] normally returns the unevaluated AST of exp. However, if exp contains
> local variables, these are lifted using Language.Haskell.TH.lift (i.e. evaluated
> before lifting).
> Is that correct?
> / Emil
Yes, that seems to be true. I'm not an expert in the internals of TH
though, so I have inferred that rule by extensive use of TH ;).
SPJ can confirm if it's right.
More information about the Haskell-Cafe