[mercury-users] : for type qualifier

[Ralph Becket]

Michael Day, Wednesday, 19 February 2003:
> 
> Now that . is a module qualifier, how about : as a type qualifier, to 
> replace `with_type` and replace :: in type declarations?

That's part of the plan.  However, as it's not backwards compatible, we
need a release or two (at least one to deprecate its use) to give users
a chance to change their code.

	Ralph
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------