diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-04 23:34:39 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-04 23:34:39 +0000 |
commit | dd16b47e4904b1839b2918cf5b38c352979a6141 (patch) | |
tree | 11760b4462d02b64729ed30b0d0bb2150d4c59f3 /src/interp/g-opt.boot | |
parent | 03ab6db167d40e2448dee7de702dc77a62e57617 (diff) | |
download | open-axiom-dd16b47e4904b1839b2918cf5b38c352979a6141.tar.gz |
* interp/g-opt.boot ($VMsideEffectFreeOperators): Remove more Lisp
level operators. Include %property and %bitveclt.
* interp/lisp-backend.boot: Expand them.
* algebra/si.spad.pamphlet (SingleInteger): Tidy. Use %ismall?.
* algebra/domain.spad.pamphlet (DomainConstructo): Use %property.
* algebra/outform.spad.pamphlet (OutputForm): Likewise.
* algebra/boolean.spad.pamphlet (IndexedBits): Use %bitveclt.
Diffstat (limited to 'src/interp/g-opt.boot')
-rw-r--r-- | src/interp/g-opt.boot | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/src/interp/g-opt.boot b/src/interp/g-opt.boot index 9d971018..fbdf5687 100644 --- a/src/interp/g-opt.boot +++ b/src/interp/g-opt.boot @@ -398,11 +398,8 @@ optSuchthat [.,:u] == ["SUCHTHAT",:u] ++ List of VM side effect free operators. $VMsideEffectFreeOperators == - '(CAR CDR LENGTH SIZE EQ NOT NULL OR AND - SPADfirst _+ _- _* _< _= _<_= _> _>_= ASH - QEQCAR QCDR QCAR IDENTP - FLOAT_-RADIX FLOAT FLOAT_-SIGN - CGREATERP GGREATERP CHAR GET BVEC_-GREATER %when %false %true + '(SPADfirst ASH IDENTP FLOAT_-RADIX FLOAT FLOAT_-SIGN + CGREATERP GGREATERP %when %false %true %otherwise %2bit %2bool %and %or %not %peq %ieq %ilt %ile %igt %ige %head %tail %integer? %beq %blt %ble %bgt %bge %bitand %bitior %bitnot %bcompl %ilength @@ -419,8 +416,8 @@ $VMsideEffectFreeOperators == %strlength %streq %i2s %schar %strlt %strconc %strcopy %strstc %aref %vref %vlength %veclit %bitvecnot %bitvecand %bitvecnand %bivecor %bitvecnor %bitvecxor - %bitveccopy %bitvecconc %bitveclength %bitvecref %bitveceq - %before? %equal %sptreq %ident?) + %bitveccopy %bitvecconc %bitveclength %bitvecref %bitveceq %bitveclt + %before? %equal %sptreq %ident? %property) ++ List of simple VM operators $simpleVMoperators == |