Hello Geoffrey,
> A few minor points; I've made the same comments to 1364 and 1800.
> The one_line_comment has "\n" at the end, but I think this should
> really say "newline" -- the escape sequence is only recognized
> in strings, and the definition of white_space has "newline".
>
> (Being nitpicky, both types of comments need to be revised such
> that eg /* comment */ more comment */ isn't legal; we all know
> it isn't, but you need complicated syntax to disallow an
> embedded */.)
I can see your concerns. But these changes will alter existing 2001 syntax. Up to this point, I have extended existing 2001 syntax items to include AMS syntax, but I avoided altering existing 2001 syntax.
I'm prefer to wait for syntax changes from 1364/1800 committees. Unfortunately AMS won't see these changes until it is merged with a post 2001 version sometime in the future.
> Also, the definition of white_space has "eol" in what you sent,
> but it is "eof" in 1364-2001 (with a footnote saying that means
> end of file).
Good pick up. In addition to this, I'll add in the 2001 notes into Annex A. We will need to determine if any of the notes apply to the merged AMS syntax items.
Regards
Graham
Received on Sun Jan 23 22:24:30 2005
This archive was generated by hypermail 2.1.8 : Sun Jan 23 2005 - 22:24:45 PST