[m-rev.] for review: speed up lexer.m

[Julien Fischer]

On Wed, 14 May 2008, Peter Wang wrote:

> Estimated hours taken: 1
> Branches: main
>
> Speed up the lexer.
>
> library/io.m:
> 	Add a version of `io.read_char' with an interface that doesn't imply
> 	memory allocation in the usual case.
>
> library/lexer.m:
> 	Use the new predicate to read characters.
>
> 	Thread the input stream through the lexer instead of looking up the
> 	"current" input stream for each character.  (Looking up the stream
> 	is not so trivial after it was made thread-local.)

Do you have any timings for this?

The diff looks fine.

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