[m-rev.] Re: for review: parsing_utils improvements

[Ralph Becket]

Ian MacLarty, Tuesday, 29 September 2009:
> > Having said that, aren't grammars like this fairly rare?  I mean,
> > can the mutable stuff be separated out just for the parsers that need
> > it?
> 
> I don't know. What did you have in mind?

Well, my sparql parser might simply define its own mutable and implement
its own fail_with_error predicate.  The position only needs to be
recorded at the point where fail_with_error is called.  If the parser
succeeds at a point further than that stored in the mutable, then the
error therein can be ignored.

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------