G'day all.
Quoting John Meacham <[EMAIL PROTECTED]>:
> Imagine I have a data structure like so:
>
> data E = EAp E E | ELam Int E | ELetRec [(Int,E)] E | EVar Int
>
> now, I want to annotate every occurence of E with some pass specific
> information, such as free variables or levels for lambda lifting.
http://haskell.org/hawiki/DecoratingStructures
http://haskell.org/hawiki/IndirectComposite
Cheers,
Andrew Bromage
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
