[Bug 5696] Feature request to aid static typing


------- Comment #1 from mike@saxonica.com  2008-05-16 17:53 -------
Presumably the issue also affects our own version of this function in


I've often argued that a=b should return false if a and b are of incomparable
types, but I've always lost the argument to those who prefer the diagnostic
power of raising an error. There are arguments both ways.

A possible circumvention is to use one of the functions that does allow
comparison of incomparables, for example index-of(), distinct-values(), or
deep-equal(). If you don't want (a eq b) to fail, you can always write it as
deep-equal(a, b).

Received on Friday, 16 May 2008 17:54:01 UTC