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/STAGG-.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/STAGG-.lsp')
| -rw-r--r-- | src/algebra/strap/STAGG-.lsp | 18 |
1 files changed, 7 insertions, 11 deletions
diff --git a/src/algebra/strap/STAGG-.lsp b/src/algebra/strap/STAGG-.lsp index d461af4c..5785250c 100644 --- a/src/algebra/strap/STAGG-.lsp +++ b/src/algebra/strap/STAGG-.lsp @@ -86,7 +86,7 @@ (LETT |x| (SPADCALL |x| (PROG1 |i| - (|check-subtype| (NOT (< |i| 0)) + (|check-subtype| (>= |i| 0) '(|NonNegativeInteger|) |i|)) (|getShellEntry| $ 28)) |STAGG-;elt;AIS;5|) @@ -107,7 +107,7 @@ (SPADCALL (SPADCALL |x| (PROG1 |l| - (|check-subtype| (NOT (< |l| 0)) + (|check-subtype| (>= |l| 0) '(|NonNegativeInteger|) |l|)) (|getShellEntry| $ 28)) (|getShellEntry| $ 33))) @@ -123,15 +123,13 @@ (SPADCALL (SPADCALL |x| (PROG1 |l| - (|check-subtype| - (NOT (< |l| 0)) + (|check-subtype| (>= |l| 0) '(|NonNegativeInteger|) |l|)) (|getShellEntry| $ 28)) (PROG1 (LETT #0# (+ (- |h| |l|) 1) |STAGG-;elt;AUsA;6|) - (|check-subtype| - (NOT (< #0# 0)) + (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 37))))))))))))) @@ -189,7 +187,7 @@ (LETT |x| (SPADCALL |x| (PROG1 |i| - (|check-subtype| (NOT (< |i| 0)) + (|check-subtype| (>= |i| 0) '(|NonNegativeInteger|) |i|)) (|getShellEntry| $ 28)) |STAGG-;setelt;AI2S;11|) @@ -223,8 +221,7 @@ (SEQ (LETT |y| (SPADCALL |x| (PROG1 |l| - (|check-subtype| - (NOT (< |l| 0)) + (|check-subtype| (>= |l| 0) '(|NonNegativeInteger|) |l|)) (|getShellEntry| $ 28)) @@ -234,8 +231,7 @@ (PROG1 (LETT #0# (+ (- |h| |l|) 1) |STAGG-;setelt;AUs2S;12|) - (|check-subtype| - (NOT (< #0# 0)) + (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)) (|getShellEntry| $ 28)) |