[Haskell] [mini-announce] Attribute grammars in happy

[Robert Dockins]

Fellow Haskellers,

I have hacked up Happy (http://www.haskell.org/happy/) to support attribute 
grammars.  Attribute grammars are a way of annotating context-free grammars 
to support syntax directed translation and the checking of context-sensitive 
properties.

What we have:

 * Support for attribute grammars using a slight modification to
   the Happy grammar syntax

 * Haskell 98! No language extensions required.

 * Support for all well-defined attribute grammars (conjecture,
   but I'm pretty sure)

What we don't have:

 * Support for GLR parsing (mostly because I don't completely understand it)

 * Checks for proper attribute usage


There is a darcs repo at based on the Happy 1.15 source distribution at:

http://www.eecs.tufts.edu/~rdocki01/happy-ag/


And documentation for the extension can be found at:

http://www.eecs.tufts.edu/~rdocki01/happy-ag-docs/sec-AttributeGrammar.html


If there is sufficient interest I can clean up the code and write test cases 
and submit an official patch to Happy.  Let me know what you think. Comments 
and suggestions are welcome.

Thanks,
Robert Dockins

P.S. Discussion should probably move to haskell-cafe.