>
> Anybody knows anything about that one?
>
> Index: interp/newaux.lisp
> ===================================================================
> --- interp/newaux.lisp (revision 268)
> +++ interp/newaux.lisp (working copy)
> @@ -108,6 +108,9 @@
> (/\\ 250 251) (\\/ 200 201)
> (\.\. SEGMENT 401 699 (|PARSE-Seg|))
> (=\> 123 103)
> +; juergen weiss says
> +; http://lists.nongnu.org/archive/html/axiom-developer/2003-07/msg00169.html
> +; (+-\> 998 112)
> (+-\> 998 102)
> (== DEF 122 121)
> (==\> MDEF 122 121)
>
This patch changes priority if +-> operator. AFAICS before the
patch
x +-> (...) | (...)
is parsed as
x +-> ((...) | (...))
while the patch changes the parse to
(f(x) +-> (...) ) | (...)
Similary,
x +-> y , z
is parsed as
x +-> (y , z)
while the patch changes the parse to
(x +-> y) , z
For algebra the change almost no-op, because currently I see only 3 places
in the algebra using +->, and none seem to be affected by this patch.
I must admit that ATM I do not see a valid construct where the first
case can appear (x +-> x | y). In interpreter [x +-> y , z] is
parsed as [(x +-> y) , z] so the change removes one of the differences
between interpreter and the compiler. I must say that I do not
see any of the alternatives as clearly superior to the other.
--
Waldek Hebisch
[EMAIL PROTECTED]
-------------------------------------------------------------------------
This SF.net email is sponsored by the 2008 JavaOne(SM) Conference
Don't miss this year's exciting event. There's still time to save $100.
Use priority code J8TL2D2.
http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
