[Haskell-cafe] Template Haskell -- when are things evaluated?

[Alfonso Acosta]

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.