From ad7cf3f5d7ae1735c80fb98616cd870b64c80fdd Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 31 Jan 2011 23:30:54 +0000
Subject: 	* interp/g-opt.boot (optQSMINUS): Remove. 	*
 algebra/data.spad.pamphlet: Tidy. 	* algebra/plot.spad.pamphlet:
 Likewise. 	* algebra/plot3d.spad.pamphlet: Likewise. 	*
 algebra/si.spad.pamphlet: Likewise. 	* algebra/syntax.spad.pamphlet:
 Likewise. 	* algebra/list.spad.pamphlet: Remove use of NULL$Lisp.

---
 src/interp/g-opt.boot  | 13 +++----------
 src/interp/g-util.boot |  1 +
 2 files changed, 4 insertions(+), 10 deletions(-)

(limited to 'src/interp')

diff --git a/src/interp/g-opt.boot b/src/interp/g-opt.boot
index 57cd2496..b7b90ed9 100644
--- a/src/interp/g-opt.boot
+++ b/src/interp/g-opt.boot
@@ -426,18 +426,12 @@ optRECORDCOPY ["RECORDCOPY",name,len] ==
  
 optSuchthat [.,:u] == ["SUCHTHAT",:u]
  
-optQSMINUS u ==
-  u is ['QSMINUS,v] =>
-    integer? v => -v
-    u
-  u
- 
 ++ List of VM side effect free operators.
 $VMsideEffectFreeOperators ==
-  '(CAR CDR LENGTH SIZE EQUAL EQL EQ NOT NULL OR AND
+  '(CAR CDR LENGTH SIZE EQ NOT NULL OR AND
     SPADfirst _+ _- _* _< _= _<_= _> _>_= ASH
      QEQCAR QCDR QCAR IDENTP
-      ODDP FLOAT_-RADIX FLOAT FLOAT_-SIGN
+      FLOAT_-RADIX FLOAT FLOAT_-SIGN
       CGREATERP GGREATERP CHAR GET BVEC_-GREATER %when %false %true
       %2bit %2bool
       %and %or %not %peq %ieq %ilt %ile %igt %ige %head %tail %integer?
@@ -456,7 +450,7 @@ $VMsideEffectFreeOperators ==
       %aref %vref %vlength %veclit
       %bitvecnot %bitvecand %bitvecnand %bivecor %bitvecnor %bitvecxor
       %bitveccopy %bitvecconc %bitveclength %bitvecref %bitveceq
-      %before? %equal %ident?)
+      %before? %equal %sptreq %ident?)
 
 ++ List of simple VM operators
 $simpleVMoperators == 
@@ -795,7 +789,6 @@ for x in '( (%call         optCall) _
            (%2bit        opt2bit)_
            (%2bool       opt2bool)_
            (%listlit     optListlit)_
-           (QSMINUS      optQSMINUS)_
            (SPADCALL     optSPADCALL)_
            (_|           optSuchthat)_
            (CATCH        optCatch)_
diff --git a/src/interp/g-util.boot b/src/interp/g-util.boot
index c60dc207..355a78ff 100644
--- a/src/interp/g-util.boot
+++ b/src/interp/g-util.boot
@@ -600,6 +600,7 @@ for x in [
     -- general utility
     ['%hash,     :'SXHASH],
     ['%equal,    :'EQUAL],
+    ['%sptreq,    :'EQL],               -- system pointer equality
     ['%lam,      :'LAMBDA],
     ['%leave,    :'RETURN],
     ['%otherwise,:'T],
-- 
cgit v1.2.3