[m-rev.] State variable syntax transformation

[Ralph Becket]

Peter Schachte, Thursday,  7 February 2002:
> 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.

I've changed that to read, "Added a new syntax to the language ("state
variables") to simplify the manipulation of threaded state.  State
variables are a better mechanism for threading state than DCGs."

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

I'll do that as soon as I make the check-in.

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

Changed - thanks.

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