diff options
author | dos-reis <gdr@axiomatics.org> | 2010-05-30 20:06:08 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-05-30 20:06:08 +0000 |
commit | b34d97dda5ce8c88d31412d11b1ad67da058480e (patch) | |
tree | 55222ea664797f046a2e7a8f807d36fb59438419 /src/algebra/strap/LSAGG-.lsp | |
parent | ded226fca8f3a75d33602a7fbbc941c55e985fdf (diff) | |
download | open-axiom-b34d97dda5ce8c88d31412d11b1ad67da058480e.tar.gz |
* interp/c-util.boot (middleEndExpand): Tidy.
* interp/g-util.boot (expandToVMForm): Likewise.
(expandStore): Refine store to pair components.
* algebra/any.spad.pamphlet (Scope): Use builtin operators.
(Environment): Likewise.
* algebra/domain.spad.pamphlet (FunctionDescriptor): Likewise.
(ConstructorCall): Likewise.
(FunctorData): Likewise.
(OperatorSignature): Likewise.
(Category): Likewise.
(Domain): Likewise.
* algebra/integer.spad.pamphlet (Integer): Likewise.
(NonNegativeInteger): Likewise.
* algebra/outform.spad.pamphlet: Likewise.
* algebra/si.spad.pamphlet (SingleInteger): Likewise.
* algebra/syntax.spad.pamphlet (Syntax): Likewise.
Diffstat (limited to 'src/algebra/strap/LSAGG-.lsp')
-rw-r--r-- | src/algebra/strap/LSAGG-.lsp | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/src/algebra/strap/LSAGG-.lsp b/src/algebra/strap/LSAGG-.lsp index 1e19097f..b00c0a30 100644 --- a/src/algebra/strap/LSAGG-.lsp +++ b/src/algebra/strap/LSAGG-.lsp @@ -242,7 +242,7 @@ (SEQ (LETT |y| (SPADCALL |x| (LET - ((#0=#:G1466 (- (- |i| 1) |m|))) + ((#0=#:G1467 (- (- |i| 1) |m|))) (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 39)) @@ -268,7 +268,7 @@ (SEQ (LETT |y| (SPADCALL |x| (LET - ((#0=#:G1470 (- (- |i| 1) |m|))) + ((#0=#:G1471 (- (- |i| 1) |m|))) (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 39)) @@ -346,7 +346,7 @@ (SEQ (LETT |y| (SPADCALL |x| (LET - ((#0=#:G1482 (- (- |i| 1) |m|))) + ((#0=#:G1483 (- (- |i| 1) |m|))) (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 39)) @@ -378,7 +378,7 @@ ((EQL |l| |m|) (SPADCALL |x| (LET - ((#0=#:G1488 (- (+ |h| 1) |m|))) + ((#0=#:G1489 (- (+ |h| 1) |m|))) (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 39))) @@ -386,7 +386,7 @@ (SEQ (LETT |t| (SPADCALL |x| (LET - ((#1=#:G1489 + ((#1=#:G1490 (- (- |l| 1) |m|))) (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|) @@ -396,7 +396,7 @@ (SPADCALL |t| (SPADCALL |t| (LET - ((#2=#:G1490 + ((#2=#:G1491 (+ (- |h| |l|) 2))) (|check-subtype| (>= #2# 0) '(|NonNegativeInteger|) @@ -464,7 +464,7 @@ ((< |n| 3) |p|) ('T (SEQ (LETT |l| - (LET ((#0=#:G1509 (QUOTIENT2 |n| 2))) + (LET ((#0=#:G1510 (QUOTIENT2 |n| 2))) (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) |LSAGG-;mergeSort|) @@ -482,7 +482,7 @@ (|getShellEntry| $ 23))))))))))) (DEFUN |LSAGG-;sorted?;MAB;15| (|f| |l| $) - (PROG (#0=#:G1515 |p|) + (PROG (#0=#:G1516 |p|) (RETURN (SEQ (EXIT (COND ((SPADCALL |l| (|getShellEntry| $ 16)) T) @@ -671,7 +671,7 @@ ('T (SEQ (LETT |z| (SPADCALL |y| - (LET ((#0=#:G1550 (- |s| |m|))) + (LET ((#0=#:G1551 (- |s| |m|))) (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 39)) @@ -713,7 +713,7 @@ ('T (SEQ (LETT |x| (SPADCALL |x| - (LET ((#0=#:G1556 (- |s| |m|))) + (LET ((#0=#:G1557 (- |s| |m|))) (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 39)) @@ -778,7 +778,7 @@ (|getShellEntry| $ 74)))))) (DEFUN |LSAGG-;<;2AB;25| (|x| |y| $) - (PROG (#0=#:G1565) + (PROG (#0=#:G1566) (RETURN (SEQ (EXIT (SEQ (SEQ G190 (COND |