You've seen the Happy parser generator I assume?
It's not a full attribute grammer extension, but it's moving in
that direction.
| Would it be possible to design a standard attribute grammar
| extension to Haskell? This could then be added as an appendix to
| the Report, or as a separate extension. This would prevent people
| from reinventing essentially the same things over and over again.
It might --- but someone would have to come up with a concrete design.
I suspect it might best be done by people releasing publicly their attempts,
and seeing if one emerges as a de-facto standard. Perhaps, once you've seen
what's available, grabbed what seems best, and improved it to do what you
want, you could release your result?
One last thought: pre-processors are often more accessible than language
changes. People can use them with arbitrary other compilers, and they don't
require a consensus on language changes.
Simon
