Mark H Weaver <xxxxxx@netris.org> wrote:

>  In your grammar, whitespace and comments are stripped in several redundant
> places.

Hmmm.  Maybe I could start by re-examining the current grammar and try to
collect common sequences. That would probably at least resolve some of your
concerns, and even if we end up rewriting it in another notation, grouping
common sequences would probably simplify that rewrite.

--- David A. Wheeler