On Sun, Oct 22, 2023 at 12:25:01AM +0200, Ralf Hemmecke wrote:
> Looking at the BOOT code makes me wish for a testsuite that lists
> domains/categories and there expected output.
> It is somewhat clear for the common cases, but you add double quotes for
> strings and I would like to see a type where this piece of code is used, so
> that I can check the other formatters.
(1) -> Union(Integer, "failed")
(1) Union(Integer,"failed")
Actually string alone is a valide type, but without appropriate
context interpreter have trouble creating such types.
> Additionally, I am not so happy with the explicit appearance of "->" when
> translating the Mapping type. I somehow think that -> should become a
> special treatment like zag or slash or ...
"->" is operator producing mapping types. It is most natural to
use it. The only objectionable thing is that some infix operators
appear in OutputForm as (op, arg1, arg2) and some other as
(arg1 op arg2).
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/ZTVJF2tbEO1hhS9y%40fricas.org.
