Ralf Hemmecke wrote:
>
> 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.
Beside problems with conditionals mentioned by Gaby, there is
another problem. Imagine typical steps in developement cycle:
1) create and compile a category
2) create and compile a domian
3) add signature to category
Even if at step 2 domain was 'complete' after step 3 you may
stil get error due to missing signature. OTOH in step 3
one may add new default implementation, so that signature
that was absent at step 2 may be implemented later as
category default.
Currently the way to discover missing signatures is via
HyperDoc: search for your new domain, it it is parametrized
make sure to specify arguments, then choose Operations, then
Implementations. You will see where each operation is
implemented. Unimplemented operations (if any) will be
listed as a separate group.
Note that without parameters it is impossible to evaluate
conditions and the above will not work.
--
Waldek Hebisch
[email protected]
--
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.
