Changes http://wiki.axiom-developer.org/348EqualityInAny/diff -- I see the situation as follows: an object in 'ANY' may *currently* be of any 'Type'. However, 'ANY' has 'SetCategory', i.e., it supports coercion to 'OutputForm' and equality. Thus, via 'ANY', *any* domain becomes of type 'SetCategory', which is something I do not like.
As far as I can see, the only way apart from 'pretend' to create an object of type 'ANY' is via 'coerce$ANY1'. So, I'd suggest that we modify 'ANY1' to accept only arguments that have 'SetCategory'. If we want to support things that do not have equality, for example, we should create another domain, similar to 'ANY', that only has 'KOERCE OUTFORM', but I doubt that this is useful. In any case, I like the 'Object' implementation in the Aldor Compiler User Guide much better. Martin -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
