diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-01 08:01:00 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-01 08:01:00 +0000 |
commit | 6fff2c66d36bf2f6cacf1d9086ba6c80eb5f7f64 (patch) | |
tree | ecd96105b5ee50cf5e81dfe1eb506797730e2955 /src/algebra/strap/LSAGG-.lsp | |
parent | 78dd44d657fa65a8029d996aaf7ac05d2133f509 (diff) | |
download | open-axiom-6fff2c66d36bf2f6cacf1d9086ba6c80eb5f7f64.tar.gz |
* interp/compiler.boot (compGreaterThan): Remove.
* interp/parse.boot (parseGreaterEqual): Likewise.
Diffstat (limited to 'src/algebra/strap/LSAGG-.lsp')
-rw-r--r-- | src/algebra/strap/LSAGG-.lsp | 21 |
1 files changed, 9 insertions, 12 deletions
diff --git a/src/algebra/strap/LSAGG-.lsp b/src/algebra/strap/LSAGG-.lsp index 72f15b22..1c940eea 100644 --- a/src/algebra/strap/LSAGG-.lsp +++ b/src/algebra/strap/LSAGG-.lsp @@ -252,7 +252,7 @@ (PROG1 (LETT #0# (- (- |i| 1) |m|) |LSAGG-;insert!;SAIA;7|) - (|check-subtype| (NOT (< #0# 0)) + (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 39)) |LSAGG-;insert!;SAIA;7|) @@ -279,7 +279,7 @@ (PROG1 (LETT #0# (- (- |i| 1) |m|) |LSAGG-;insert!;2AIA;8|) - (|check-subtype| (NOT (< #0# 0)) + (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 39)) |LSAGG-;insert!;2AIA;8|) @@ -358,7 +358,7 @@ (PROG1 (LETT #0# (- (- |i| 1) |m|) |LSAGG-;delete!;AIA;10|) - (|check-subtype| (NOT (< #0# 0)) + (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 39)) |LSAGG-;delete!;AIA;10|) @@ -391,8 +391,7 @@ (PROG1 (LETT #0# (- (+ |h| 1) |m|) |LSAGG-;delete!;AUsA;11|) - (|check-subtype| - (NOT (< #0# 0)) + (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 39))) ('T @@ -401,8 +400,7 @@ (PROG1 (LETT #1# (- (- |l| 1) |m|) |LSAGG-;delete!;AUsA;11|) - (|check-subtype| - (NOT (< #1# 0)) + (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|) #1#)) (|getShellEntry| $ 39)) @@ -412,8 +410,7 @@ (PROG1 (LETT #2# (+ (- |h| |l|) 2) |LSAGG-;delete!;AUsA;11|) - (|check-subtype| - (NOT (< #2# 0)) + (|check-subtype| (>= #2# 0) '(|NonNegativeInteger|) #2#)) (|getShellEntry| $ 39)) @@ -481,7 +478,7 @@ (SEQ (LETT |l| (PROG1 (LETT #0# (QUOTIENT2 |n| 2) |LSAGG-;mergeSort|) - (|check-subtype| (NOT (< #0# 0)) + (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) |LSAGG-;mergeSort|) (LETT |q| @@ -690,7 +687,7 @@ (PROG1 (LETT #0# (- |s| |m|) |LSAGG-;copyInto!;2AIA;22|) - (|check-subtype| (NOT (< #0# 0)) + (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 39)) |LSAGG-;copyInto!;2AIA;22|) @@ -734,7 +731,7 @@ (PROG1 (LETT #0# (- |s| |m|) |LSAGG-;position;SA2I;23|) - (|check-subtype| (NOT (< #0# 0)) + (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 39)) |LSAGG-;position;SA2I;23|) |