Well, not really.
I do remember that I never liked SubDomain. We had all kinds of special-case code to deal with it, and it was only used for NonNegativeInteger and PositiveInteger. I believe the original motivation for sub-domains was to share implementations, but not categories. So PositiveInteger could share the all the implementation code from Integer, but not the categories of Integer, since they don't form a Group under addition, for example. In the end it caused a lot more mork than it saved.
The concept of sub-domain never made it into Aldor, as far as I know, and that's a good thing.
-- SCM
_______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
