Waldek Hebisch <hebi...@math.uni.wroc.pl> writes: [...]
| > What is the rule for SPAD and where is that written down. Currently I | > cannot interpret the code without relying on a specific implementation | > of the SPAD compiler. :-( | | I think the followong rule would be reasonable: if A is direct or | indirect child of B and both A and B provide defalt for 'f', then | 'f' from B will not be used. However, I did not check if this | rule is implemented... The AXIOM book has a statement about how defaults are searched. (sorry I am away from my copy.) -- Gaby ------------------------------------------------------------------------------ RSA(R) Conference 2012 Save $700 by Nov 18 Register now http://p.sf.net/sfu/rsa-sfdev2dev1 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel