Ralf Hemmecke <[email protected]> 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 -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
