Attribute grammar macros
We describe a Haskell library of strongly typed first-class attribute grammars. We extend the library with a set of combinators to define semantic macros. We show how to define language semantics by re-using and adapting existing semantics. We show how to redefine attributes. We describe an example implemented using the techniques introduced in this paper.
attribute grammar macro haskell first-class attribute grammar extensible language attribute redefinition