[m-rev.] for review: parsing_utils additions

[Julien Fischer]

On Wed, 9 May 2012, Peter Wang wrote:

> Branches: main
>
> Some simple additions to parsing_utils.
>
> library/parsing_utils.m:
> 	Add `input_string' and `get_skip_whitespace_pred'
> 	so external parsers can also get access to these.
>
> 	Add `next_char_no_progress'.
>
> 	Clarify what is the default whitespace parser.

You should mention the additions in the NEWS file, that looks ok
otherwise.

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------