Martin Rubey <[EMAIL PROTECTED]> writes: [...]
| However this can only happen in two circumstances: the constructor (here | IIARRAY2) is a category and the operation (here minRowIndex) would be a default | implementation. In this case, a domain is allowed to override minRowIndex, and | thus qelt would have to call the definition of minRowIndex given in the domain. | | The other possibility is that minRowIndex is defined conditionally. In this | case, the instantiation code of the domain replaces the corresponding position | in the infovec with the right function name. | | Note that at first I thought that introducing Aldor's extend would invalidate | my reasoning. But it turns out, that at least the current Aldor compiler does | *not* allow overriding domain definitions either. I could not find anything | appropriate in the Aldor User Guide though. This is the key issue. The Axiom Book is shallow on the specifics -- although it tends to treat operations from add-chains as if they were from default categories or default packages (except that add-chains take precedence over defaults). So, that implies to me -- given the way defaults work -- that domains can see operations overriden if used in add-chains. However, newLookupInTable seems to implement that behaviour only when the package is a default. I do not know whether it is a bug of feature, but I do want a unifrom behaviour (which tends to push the current behaviour toward a bug). -- Gaby ------------------------------------------------------------------------- This SF.net email is sponsored by the 2008 JavaOne(SM) Conference Register now and save $200. Hurry, offer ends at 11:59 p.m., Monday, April 7! Use priority code J8TLD2. http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
