From 6fff2c66d36bf2f6cacf1d9086ba6c80eb5f7f64 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 1 Jun 2009 08:01:00 +0000 Subject: * interp/compiler.boot (compGreaterThan): Remove. * interp/parse.boot (parseGreaterEqual): Likewise. --- src/algebra/strap/STAGG-.lsp | 18 +++++++----------- 1 file changed, 7 insertions(+), 11 deletions(-) (limited to 'src/algebra/strap/STAGG-.lsp') 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)) -- cgit v1.2.3