Ralf Hemmecke <r...@hemmecke.de> writes: | > The issue is far more involved than described in Ralf's original message | > because of existence of default implementations and implementations that | > are controlled by complicated conditionals the actual values of which | > are not known until instantiations with concrete constructor arguments. | | Ah, OK, if conditionals are involved, then I'd understand that an | throwing an error has to wait until it is clear what the actual values | in the conditional expressions (proably "has"-expressions) are, | i.e. until instantiation of the domain.
Indeed. | But I would argue that there an important case is where function | implementations are missing that are not controlled by any condition. | If in such case the compiler could abort that would already be of | great value to programmers. A better job could be done for niladic constructors or operations with trivial predicates. That requires duplicating the logic of defaults search in the compiler though. Since OpenAxiom already implemented part of this search for domain inlining, it is conceivable to extend that to full-blown analysis. That represents some work, but doable. -- Gaby ------------------------------------------------------------------------------ RSA(R) Conference 2012 Mar 27 - Feb 2 Save $400 by Jan. 27 Register now! http://p.sf.net/sfu/rsa-sfdev2dev2 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
