From dd16b47e4904b1839b2918cf5b38c352979a6141 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 4 Feb 2011 23:34:39 +0000 Subject: * 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. --- src/interp/g-opt.boot | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) (limited to 'src/interp/g-opt.boot') 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 == -- cgit v1.2.3