[m-rev.] comments: non-blocking lex

[Michael Day]

> Any comments about the interface, or whether this could be achieved in a
> better way?

Looks like the patch is substantially incorrect, in that read_0 is called
from several places such as process_char that would cause read_no_block to
actually block.

Michael

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------