FW: Haskell 98 report problem re lexical structure.
Wed, 25 Jul 2001 17:57:59 +0200 (MET DST)
Simon Peyton-Jones proposed:
> 1. I will use "lexeme" consistently to mean what the "lexeme"
> production means.
> 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
> 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