[m-dev.] Ye Olde Subtyping Proposal

[Ralph Becket]

Fergus Henderson, Monday, 18 November 2002:
> 
> How about using "::" rather than "`with_inst`"?

One day soon I really am going to sit down and fix the
	`with_type` ----> :
	`with_inst` ----> ::
	__          ----> .
part of the language.

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