> 
> Hi Waldek,
> 
> https://github.com/hemmecke/fricas-svn/blob/502a3518235cb5c6f0ecc75c9ba2064a2b500d43/src/interp/s-parser.boot#L98
> 
> there is still a
> 
>            ["->", 1001, 1002], _
> 
> in line 98 of that file. I don't know whether this matters, but I want 
> to make sure that you have not overlooked something.
> 
> Actually... looking at this NUD stuff, it seems in FriCAS "->" can be 
> used as a prefix operator.
>

Yes, the Nud part defines prefix operators.  If you give local
definition like:

   (-> (x : Z)) : Z == 1000*x

then you can later use '->' as prefix operator.  We probably
should remove several prefix definitions, but IIRC they are also
involved when passing operators as arguments to functions.


-- 
                              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.

Reply via email to