Re: new, simpler formal specification
Taylor Campbell 23 Mar 2005 06:32 UTC
On Tue, 22 Mar 2005, I miswrote:
> One problem with this is that it creates mutual references between
> sections 7.1.1, which describes the lexical structure, and 7.1.2, which
> describes the external representation of S-expressions -- in terms of a
> stream of tokens.
Sorry, that was supposed to read as follows in order to make a bit more
sense in my argument:
One problem with this is that it creates mutual references between
sections 7.1.1, which describes the lexical structure _as_a_stream_of
_tokens_, and 7.1.2, which describes the external representation of
S-expressions -- in terms of the stream of tokens.
