On Sun, Dec 21, 2025 at 06:17:21PM +0100, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
> 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.)
OK. I admit that from my point of view Github usability was
decreasing in last few years, so I am not enthusiastic about
putting more things at Github. But my view should not stop
you (or other folks) from doing that you (or they) think is
useful.
--
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 view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/aUhbL-fIsdejv56m%40fricas.org.
