Boilerplate-free annotation of ASTs in Haskell?

Question

I\'ve been fiddling around with the Elm compiler, which is written in Haskell.

I\'d like to start implementing some optimizations for it, and part of this involves t

Answer 1

You can also use attribute grammars for annotations. If you need many different annotations, the grammars approach will scale better. There are few AG libraries and preprocessors on Hackage, one is uuagc which is used to build UHC/EHC Haskell compiler.