Simon Peyton-Jones proposed:
1. I will use "lexeme" consistently to mean what the "lexeme" production means. That's good.
2. The place that "lexeme" is currently used inconsistently is in 2.3 (Comments) Here I propose to replace paras 2 and 3 thus:
"An ordinary comment begins with a sequence of two or more consecutive dashes (e.g. --) and extends to the following newline. The sequence of dashes must not be the prefix of a legal lexeme. For example,
Any number of dashes is a prefix of a legal lexeme. You want to talk about what follows, but this formulation is about what might follow. (Or at least, that's how I understand it.) How about something like: The sequence of dashes must not be followed by another symbol, for example --> or --| do not begin a comment, they are just ordinary lexemes.
5. [Re Christian S's proposal, which I sent earlier, remove "opencom" from "lexeme"]
That is consisted with the other change you suggested in 2., and indeed a nicer way to be so. The second sentence in 5.5.1 reads Since qualifier names are part of the lexical syntax, no spaces are allowed between the qualifier and the name. I think this should be Since qualified names... ^ and could as well be Since qualified names are lexemes, no spaces are allowed... All the best Christian Sievers