From 6fff2c66d36bf2f6cacf1d9086ba6c80eb5f7f64 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 1 Jun 2009 08:01:00 +0000
Subject: 	* interp/compiler.boot (compGreaterThan): Remove. 	*
 interp/parse.boot (parseGreaterEqual): Likewise.

---
 src/algebra/strap/ORDRING-.lsp | 42 +++++++++++++++++++++---------------------
 1 file changed, 21 insertions(+), 21 deletions(-)

(limited to 'src/algebra/strap/ORDRING-.lsp')

diff --git a/src/algebra/strap/ORDRING-.lsp b/src/algebra/strap/ORDRING-.lsp
index 5a7d725e..c4dedafa 100644
--- a/src/algebra/strap/ORDRING-.lsp
+++ b/src/algebra/strap/ORDRING-.lsp
@@ -14,24 +14,24 @@
                 |ORDRING-;abs;2S;4|)) 
 
 (DEFUN |ORDRING-;positive?;SB;1| (|x| $)
-  (SPADCALL (|spadConstant| $ 7) |x| (|getShellEntry| $ 9))) 
+  (SPADCALL |x| (|spadConstant| $ 7) (|getShellEntry| $ 9))) 
 
 (DEFUN |ORDRING-;negative?;SB;2| (|x| $)
-  (SPADCALL |x| (|spadConstant| $ 7) (|getShellEntry| $ 9))) 
+  (SPADCALL |x| (|spadConstant| $ 7) (|getShellEntry| $ 11))) 
 
 (DEFUN |ORDRING-;sign;SI;3| (|x| $)
   (COND
-    ((SPADCALL |x| (|getShellEntry| $ 12)) 1)
-    ((SPADCALL |x| (|getShellEntry| $ 15)) -1)
-    ((SPADCALL |x| (|getShellEntry| $ 18)) 0)
+    ((SPADCALL |x| (|getShellEntry| $ 13)) 1)
+    ((SPADCALL |x| (|getShellEntry| $ 16)) -1)
+    ((SPADCALL |x| (|getShellEntry| $ 19)) 0)
     ('T (|error| "x satisfies neither positive?, negative? or zero?")))) 
 
 (DEFUN |ORDRING-;abs;2S;4| (|x| $)
   (COND
-    ((SPADCALL |x| (|getShellEntry| $ 12)) |x|)
-    ((SPADCALL |x| (|getShellEntry| $ 15))
-     (SPADCALL |x| (|getShellEntry| $ 21)))
-    ((SPADCALL |x| (|getShellEntry| $ 18)) (|spadConstant| $ 7))
+    ((SPADCALL |x| (|getShellEntry| $ 13)) |x|)
+    ((SPADCALL |x| (|getShellEntry| $ 16))
+     (SPADCALL |x| (|getShellEntry| $ 22)))
+    ((SPADCALL |x| (|getShellEntry| $ 19)) (|spadConstant| $ 7))
     ('T (|error| "x satisfies neither positive?, negative? or zero?")))) 
 
 (DEFUN |OrderedRing&| (|#1|)
@@ -40,7 +40,7 @@
       (PROGN
         (LETT |dv$1| (|devaluate| |#1|) . #0=(|OrderedRing&|))
         (LETT |dv$| (LIST '|OrderedRing&| |dv$1|) . #0#)
-        (LETT $ (|newShell| 23) . #0#)
+        (LETT $ (|newShell| 24) . #0#)
         (|setShellEntry| $ 0 |dv$|)
         (|setShellEntry| $ 3
             (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
@@ -50,19 +50,19 @@
 
 (MAKEPROP '|OrderedRing&| '|infovec|
     (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (0 . |Zero|)
-             (|Boolean|) (4 . <) |ORDRING-;positive?;SB;1|
-             |ORDRING-;negative?;SB;2| (10 . |positive?|) (|Integer|)
-             (15 . |One|) (19 . |negative?|) (24 . |One|) (28 . -)
-             (33 . |zero?|) (38 . |Zero|) |ORDRING-;sign;SI;3| (42 . -)
+             (|Boolean|) (4 . >) |ORDRING-;positive?;SB;1| (10 . <)
+             |ORDRING-;negative?;SB;2| (16 . |positive?|) (|Integer|)
+             (21 . |One|) (25 . |negative?|) (30 . |One|) (34 . -)
+             (39 . |zero?|) (44 . |Zero|) |ORDRING-;sign;SI;3| (48 . -)
              |ORDRING-;abs;2S;4|)
-          '#(|sign| 47 |positive?| 52 |negative?| 57 |abs| 62) 'NIL
+          '#(|sign| 53 |positive?| 58 |negative?| 63 |abs| 68) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
-                            (|makeByteWordVec2| 22
-                                '(0 6 0 7 2 6 8 0 0 9 1 6 8 0 12 0 13 0
-                                  14 1 6 8 0 15 0 6 0 16 1 13 0 0 17 1
-                                  6 8 0 18 0 13 0 19 1 6 0 0 21 1 0 13
-                                  0 20 1 0 8 0 10 1 0 8 0 11 1 0 0 0
-                                  22)))))
+                            (|makeByteWordVec2| 23
+                                '(0 6 0 7 2 6 8 0 0 9 2 6 8 0 0 11 1 6
+                                  8 0 13 0 14 0 15 1 6 8 0 16 0 6 0 17
+                                  1 14 0 0 18 1 6 8 0 19 0 14 0 20 1 6
+                                  0 0 22 1 0 14 0 21 1 0 8 0 10 1 0 8 0
+                                  12 1 0 0 0 23)))))
           '|lookupComplete|)) 
-- 
cgit v1.2.3