[m-dev.] higher order types, overloading

Mark Brown mark at cs.mu.OZ.AU
Fri May 13 20:41:56 AEST 2005

On 13-May-2005, Mark Brown <mark at cs.mu.OZ.AU> wrote:
> 	- As above, except that in rule 4 choose the simplest kind, for some
> 	value of "simplest".  For example, choose the kind with the shortest
> 	left-hand branch (that is, choose the arity which is closest to the
> 	number of arguments supplied).

I mean right-hand branch, of course.  For example, `((* -> *) -> *) -> *'
has length 1, meaning that it expects one extra argument.


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

More information about the developers mailing list