[m-rev.] For review: State Variable Transformation

[Fergus Henderson]

I didn't review the whole thing, but here's a few comments...

On 08-Apr-2002, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> doc/reference_manual.texi:
> 	Documented the new syntax in the Syntax chapter, just before the
> 	section on DCGs.
...
> doc/reference_manual.texi:
> 	Added documentation to cover the new state variable syntax.

You only need to mention that once in the log message.

> library/lexer.m:
> 	Changed `!' from being a special token to being a graphical token.

This change should be documented in the reference manual.

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

Likewise.

> Index: NEWS
> @@ -107,10 +111,16 @@
>  
>  Changes to the Mercury standard library:
>  
> +<<<<<<< NEWS
> +* The builtin predicates !/0 and !/2 from Mercury's Prolog heritage have been
> +  removed (`!' is now a prefix operator used in the state variable syntax).
> +
> +=======
>  * Performance bugs in `pprint__to_doc' have now been fixed.  Even
>    very large terms can now be converted to docs and pretty printed without
>    causing a machine to thrash or run out of memory.
>  
> +>>>>>>> 1.254

You don't want to commit that merge error.

> Index: doc/reference_manual.texi
...
> +
> +(Use of DCG syntax to thread hidden variables is now deprecated; the
> +preferred mechanism is to use state variables instead.)

I object to this.  I do not think DCGs should be officially deprecated.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------