Ralf Hemmecke wrote:
>
> > And it is typical that most signatures are inherited.
>
> Did you perhaps mean that the "implementation" is inherited?
No, I mean signature. Inherited signature may be implemented
by the domain or implementation may be inherited. To find
out if it is unimplemented we need to search all places that
potentially my implement it.
> >> Anyway, api.spad does not use the add part, it just looks at the
> >> category part, so it only lists what should be there. The user
> >> would have to single out what is already in the file.
> >
> > 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...
--
Waldek Hebisch
--
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.
