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.