[Nickle] Polymorphic equality and similar mysticism

[Keith Packard]

Around 14 o'clock on May 30, Bart Massey wrote:

> and insist on subtype compatibility of the arguments: we
> select the unique equality operator, if any, such that
> one argument is of matching type and the other is of a
> supertype.  If there is none, it is a static type error.

That's either type-based function selection or parametric polymorphism.
Which is it?  How do we extend that to other functions?

I don't want a built-in specific kludge here...

-keith


-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 228 bytes
Desc: not available
Url : /pipermail/nickle/attachments/20040530/fb9c8270/attachment.pgp