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

[Ralph Becket]

> From: Fergus Henderson [mailto:fjh at cs.mu.OZ.AU]
> 
> 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.

Might this also be an apposite time to change the module qualifier
from `:' to `__' in compiler error messages, presaging the death
of `:' in this role?

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