diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-20 15:00:29 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-20 15:00:29 +0000 |
commit | 9cde874de258533a18944602afa62c9e56ac991a (patch) | |
tree | 0ba1cbbf0a13d8d5085aa411304ff34ca63e7bb0 /src/algebra/strap/STAGG-.lsp | |
parent | 4ee9e8c9ec410567f7904da3e3be59c06f059a6c (diff) | |
download | open-axiom-9cde874de258533a18944602afa62c9e56ac991a.tar.gz |
* interp/compiler.boot (massageLoop): New.
(compRepeatOrCollect): Use it to generate appropriate %loop forms.
Bind new special variable $mayHaveFreeIteratorVariables.
(complainIfShadowing): Set it as appropriate.
Diffstat (limited to 'src/algebra/strap/STAGG-.lsp')
-rw-r--r-- | src/algebra/strap/STAGG-.lsp | 75 |
1 files changed, 38 insertions, 37 deletions
diff --git a/src/algebra/strap/STAGG-.lsp b/src/algebra/strap/STAGG-.lsp index 3323f313..7a847cd1 100644 --- a/src/algebra/strap/STAGG-.lsp +++ b/src/algebra/strap/STAGG-.lsp @@ -140,33 +140,34 @@ (PROG (|y|) (RETURN (SEQ (LETT |y| |l| |STAGG-;map!;M2A;9|) - (SEQ G190 - (COND - ((NULL (NOT (SPADCALL |l| (|getShellEntry| $ 18)))) - (GO G191))) - (SEQ (SPADCALL |l| - (SPADCALL - (SPADCALL |l| (|getShellEntry| $ 19)) |f|) - (|getShellEntry| $ 46)) - (EXIT (LETT |l| - (SPADCALL |l| (|getShellEntry| $ 13)) - |STAGG-;map!;M2A;9|))) - NIL (GO G190) G191 (EXIT NIL)) + (LOOP + (COND + ((NOT (NOT (SPADCALL |l| (|getShellEntry| $ 18)))) + (RETURN NIL)) + (T (SEQ (SPADCALL |l| + (SPADCALL + (SPADCALL |l| (|getShellEntry| $ 19)) + |f|) + (|getShellEntry| $ 46)) + (EXIT (LETT |l| + (SPADCALL |l| + (|getShellEntry| $ 13)) + |STAGG-;map!;M2A;9|)))))) (EXIT |y|))))) (DEFUN |STAGG-;fill!;ASA;10| (|x| |s| $) (PROG (|y|) (RETURN (SEQ (LETT |y| |x| |STAGG-;fill!;ASA;10|) - (SEQ G190 - (COND - ((NULL (NOT (SPADCALL |y| (|getShellEntry| $ 18)))) - (GO G191))) - (SEQ (SPADCALL |y| |s| (|getShellEntry| $ 46)) - (EXIT (LETT |y| - (SPADCALL |y| (|getShellEntry| $ 13)) - |STAGG-;fill!;ASA;10|))) - NIL (GO G190) G191 (EXIT NIL)) + (LOOP + (COND + ((NOT (NOT (SPADCALL |y| (|getShellEntry| $ 18)))) + (RETURN NIL)) + (T (SEQ (SPADCALL |y| |s| (|getShellEntry| $ 46)) + (EXIT (LETT |y| + (SPADCALL |y| + (|getShellEntry| $ 13)) + |STAGG-;fill!;ASA;10|)))))) (EXIT |x|))))) (DEFUN |STAGG-;setelt;AI2S;11| (|x| |i| |s| $) @@ -224,22 +225,22 @@ #0#)) (|getShellEntry| $ 25)) |STAGG-;setelt;AUs2S;12|) - (SEQ G190 - (COND - ((NULL - (NOT - (SPADCALL |y| |z| - (|getShellEntry| $ 52)))) - (GO G191))) - (SEQ - (SPADCALL |y| |s| - (|getShellEntry| $ 46)) - (EXIT - (LETT |y| - (SPADCALL |y| - (|getShellEntry| $ 13)) - |STAGG-;setelt;AUs2S;12|))) - NIL (GO G190) G191 (EXIT NIL)) + (LOOP + (COND + ((NOT + (NOT + (SPADCALL |y| |z| + (|getShellEntry| $ 52)))) + (RETURN NIL)) + (T + (SEQ + (SPADCALL |y| |s| + (|getShellEntry| $ 46)) + (EXIT + (LETT |y| + (SPADCALL |y| + (|getShellEntry| $ 13)) + |STAGG-;setelt;AUs2S;12|)))))) (EXIT |s|))))))))))))) (DEFUN |STAGG-;concat!;3A;13| (|x| |y| $) |