[m-dev.] for review: new mode syntax

[Fergus Henderson]

On 15-Aug-2000, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> Make the syntax for defining modes and insts similar to type equivalence.
...
> compiler/prog_io_util.m:
> 	Make `>>' the standard operator for inline mode declarations.
> 	`->' is still supported.

You should also change mercury_output_mode in mercury_to_mercury.m
so that it outputs modes using the new syntax.

Also it would be a good idea to change the mode definitions in
the Mercury library reference manual (i.e. in the interfaces of
the standard library module) to use the new syntax.
There's only three modules that define modes using the old
syntax, namely builtin.m, list.m, and tree234.m.  (The array.m
module also defines modes, but it already uses the "==" syntax.)

Apart from that, this change looks fine.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------