On 22.10.23 18:08, Waldek Hebisch wrote:
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.
Yes, but that is not the operator in OuputForm.
See "rarrow".
http://fricas.github.io/api/OutputForm.html#index-69
rarrow produces an OutputForm with operator TAG and two arguments and
probably all formatters know how this has to be printed (at least I can
confirm this for the FormatXXX types.
Can you change in Mapping_to_OutputForm(argl) the respective lines to
['TAG, nargs, rt]
(I haven't tested it.)
The only objectionable thing is that some infix operators
appear in OutputForm as (op, arg1, arg2) and some other as
(arg1 op arg2).
Do you mean forms produced via infix(f,l)?
But we have TAG and so do not need infix for ->.
Another thing...
Maybe your patch doesn't aim at providing also the following... but just
in case...
%%% (6) -> (Tuple(Integer))::OF
Cannot convert the value from type Tuple(Type) to OutputForm .
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 on the web visit
https://groups.google.com/d/msgid/fricas-devel/fabbd107-e3a5-4b60-b978-c3cc37fd967c%40hemmecke.org.
