Re: Overloaded unification

On Jan 25, 6:31 pm, Jon Harrop <use...@[EMAIL PROTECTED]
> wrote:
> ... How are type cl***** too restrictive for your needs?

In SML @[EMAIL PROTECTED]
 has type

'a list * 'a list -> 'a list

Consider

overload fun @[EMAIL PROTECTED]
(A,i) = Array.sub(A,i)

so this @[EMAIL PROTECTED]
 has type 'a array * int -> 'a
but with the infix notation, we can now write

[A@[EMAIL PROTECTED]
 provide a (slightly silly) example.

Don't see how to use type cl***** for this ad-hocery.