Changes http://wiki.axiom-developer.org/348EqualityInAny/diff -- So, if 'D := (x.dm pretend BasicType)' is OK, we should go further, and work a little on 'ANY'. At least, it should throw an error if 'x.dm' is not a 'BasicType'.
In fact, I doubt, that 'ANY' should export equality at all. Is this functionality used anywhere? Similarly, should 'ANY' support coercion to 'OUTFORM' for *any* object? Martin -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
