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.
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.
Ralf -- 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.
