Re: Consuming the input (was: none)

How about "The default behaviour of the implementation must be to maximally consume the available input" to allow parsers/users to go off reservation at their own risk?

T

_________________
Tomos Hillman
eXpertML Ltd
+44 7793 242058
On 13 Apr 2021, 17:08 +0100, Steven Pemberton <steven.pemberton@cwi.nl>, wrote:
> So how about we say something like "The implementation must maximally
> consume the available input". Then the implementation can decides what the
> "available input" is, whether it's streaming or a static document.
> Steven
>
> On Monday 12 April 2021 11:25:47 (+02:00), Steven Pemberton wrote:
>
> > The new draft spec asks the question:
> > Should there be a requirement that the input is completely consumed?
> >
> > I think the answer is yes.
> >
> > Otherwise, if a grammar was:
> >
> > string: "a"*.
> >
> > and the input was
> >
> > aaa
> >
> > it would be permissible to produce as result:
> >
> > <string/>
> >
> > Steven
> >
> >
> >
> >
>