> | Perhaps it would be better to provide a function to which == maps, e.g.
> |
> | x == y ==> OPTARG(x,y)
> |
> | which does by default what the interpreter wants for now but which
> | allows customization?
>
> Well, '==' is a token, not operator.
Gaby, why not asking Stephen Watt? He should know about why == is used
both for definitions as in
A: T == V
and as optional arguments as in
foo(b: Integer == 1): T == ...
^^
or in calling
foo(b==2)
Stephen, you can find more information about this discussion in a recent
post of Gaby.
http://groups.google.com/group/fricas-devel/browse_thread/thread/b73b375a22227e02/b5a11028520beb9a#b5a11028520beb9a
Stephen, could you also comment on why in Axiom == is used as in
>| (1) -> (x+->x)(sin==x,cos==y)
>|
>| (1) [sin(x),cos(y)]
?
Ralf
-------------------------------------------------------------------------
Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW!
Studies have shown that voting for your favorite open source project,
along with a healthy diet, reduces your potential for chronic lameness
and boredom. Vote Now at http://www.sourceforge.net/community/cca08
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
