A Fresh Look at Comparisons, Take 2

[Henning Hasemann]

> Yes, that's true. But remember, partially ordered types cannot be used
> as AA keys (at least, not if the AA is implemented as a binary tree
> with total ordering), so we've got a problem right there. How do we
> tell AAs "Yes, we've implemented opCmp(), but you're not allowed to
> use it because it's partial"?

By using a syntax different to opCmp ;)

-- 
GPG Public Key:
http://pgpkeys.pca.dfn.de/pks/lookup?op=get&search=0xDDD6D36D41911851