I just realized that the "symbol element" issue is even worse.  Since a symbol element can be a string element, and a string element can be "|", the grammar says that "|" by itself can be a symbol element (!).  For example, given |a||, does the second "|" match the ending "vertical line" of the "<vertical line> <symbol element>* <vertical line>" sequence, or is it a "symbol element" because it is a "string element"?

I'm *sure* that wasn't intended.

My previous email (with the proposed grammar) fixes this problem as well.

--- David A. Wheeler

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports