Waldek, Ralf, Apparently this behaviour once existed in Axiom but both OpenAxiom and FriCAS inherited a bug that prevents the compiler from noticing the missing definitions. This was recently corrected in a patch to OpenAxiom. I could probably find that patch if it would help to fix this problem in FriCAS.
Regards, Bill Page. On Fri, Jan 13, 2012 at 3:50 PM, Ralf Hemmecke <[email protected]> wrote: > Hello Waldek, > > I realized that the compiler accepts domain implementations that > obviously miss the implementation for certain signatures. > > Why does that make sense? Cannot the *compiler* abort on missing > functions? I would not like to only find out about missing functions at > runtime. > > 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. > -- 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.
