Re: eof and ws?

> Proposal. Any / all ws at the end of file should be ignored.

What’s a file? Discuss.

My API takes a string and matches that string against the grammar.
That’s the only kind of input it can accept and, bug or feature, it has
to have the whole string in memory. 

From the perspective of my API, there is no file, there is only a
string. (Yes, obviously, I can read a file to get that string, but
strictly speaking, that’s something that happens outside of the grammar
matching.)

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica