[m-rev.] State variable syntax transformation

[Peter Schachte]

Just a nit on the log message.

> Added a new syntax to the language ("state variables") to simplify the
> manipulation of threaded state.  This is simpler and more general than
> DCGs and is intended as a replacement.

I don't think you should say that "state variables" are meant to
replace DCGs.  IMHO, DCGs are still preferable for grammars.  The new
facility just replaces the (ab)use of DCGs for hiding the threading of
state.

Also, there are code examples in the manuals and other places (eg, the
tutorial) that use DCG notation that should be modified to use the new
faclity, though that should probably a separate commit.

> library/ops.m:
> 	Added three new prefix operators, `!', `!+' and `!-'.

Should be !, !:, and !. .

-- 
Peter Schachte              If you have a procedure with 10 parameters, you
schachte at cs.mu.OZ.AU        probably missed some.
www.cs.mu.oz.au/~schachte/      -- Alan Perlis 
Phone: +61 3 8344 9166      
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------