Waldek,
thank you for this answer.
Interpreter type checking in many places ignores
categories, using 'Type' instead. I would have to investigate
deeper, but at first glance the problem you see is that interpteter
uses 'Type' and function declaration has more specific category.
I think, it makes sense, to add this problem as an issue on github (as a
link to fricas-devel), even if it will not be fixed in the very near
future. But bit by bit I would like to have *one* place to which I can
refer (or direct other people) if they stumple upon the same issue.
There is too much other noise in the mailing list.
Agreed? (Maybe I should just do and not ask for permission.)
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 view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/835d5392-92fc-427e-b93c-bad6377490ee%40hemmecke.org.
