Aldor will tell you if a definition of a domain does not match its declaration. It does track where symbols are defined and whether it's in a default block and under what condition it is defined. To get it right one does need quite a lot of machinery, and I'm not sure aldor is correct in all cases.
On 8 November 2015 at 21:16, Ralf Hemmecke <[email protected]> wrote: >>>> Well, finding what is implemented is the hard part. >>> >>> Oh, that surprises me a bit, since I thought that the compiler knows >>> that. Or has a way to figure it out. But you are the compiler expert and >>> know probably better that this is not that easy. >> >> No, compiler has no idea what is implemented. It just looks >> at declarations happily accepting calls to routines that >> are declared but unimplemented. It is runtime job to find >> implementations and accoridingly you get errors at runtime... > > Hmmm... then again, I like Aldor better. Don't ask me how it does it, > but I still believe that the Aldor compiler will reject a program if > some signature is not implemented. > > I may be wrong. Peter, are you listening? > > Ralf > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/fricas-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
