On Wed, Aug 31, 2022 at 11:51:57AM +0800, Qian Yun wrote:
> Further more, I found that open-axiom has eliminated those
> "EVAL-WHEN" in toplevel assignments by commit
> 68d5315c2d9a8c1526a6af824f52f84485f16257, which translates to
> this for our codebase:
>
> --- a/src/boot/ptyout.boot
> +++ b/src/boot/ptyout.boot
> @@ -330,13 +330,13 @@ bpOutItem()==
> EQCAR(b,"TUPLE")=> bpPush cdr b
> EQCAR(b,"+LINE")=> bpPush [ b ]
> b is ["L%T",l,r] and IDENTP l =>
> - bpPush [shoeEVALANDFILEACTQ ["SETQ",l,r]]
> + bpPush [["SETQ",l,r]]
> MEMQ(CAR(b), '(SETANDFILEQ SETQ DEFPARAMETER DEFCONSTANT DEFVAR)) =>
> bpPush [ b ]
> b:=shoeCompTran ["LAMBDA",["x"],b]
> bpPush [shoeEVALANDFILEACTQ CADDR b]
ATM I can not say if this is good change. In principle there is
risc of subtle breakage, one would have to check Lisp rules and
our use to see if it is OK.
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/20220902194135.GA7631%40fricas.math.uni.wroc.pl.
