[m-rev.] for review: make ':' into a type qualifier

[Julien Fischer]

On Mon, 26 Sep 2005, Michael Day wrote:

>
> > > Make ':' into an infix type qualification operator, equivalent to
> > > `with_type`.
>
> Will ':' replace '::' for type declarations also in the future?
>
> :- type foo
>     --->    foo(a: int, b: string).
>
There are no immediate plans to make such a change.

Cheers,
Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------