diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-04 13:56:52 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-04 13:56:52 +0000 |
commit | 9a593e3b395c1ba0c6036760c12713d7485f8c54 (patch) | |
tree | dd8eadbf07dde50ca15d6aa4181c902ad7b09d3c /src/interp/g-opt.boot | |
parent | e77d30ccf1b663aaa6ec1e017fa8e31f3296afeb (diff) | |
download | open-axiom-9a593e3b395c1ba0c6036760c12713d7485f8c54.tar.gz |
cleanup
Diffstat (limited to 'src/interp/g-opt.boot')
-rw-r--r-- | src/interp/g-opt.boot | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/g-opt.boot b/src/interp/g-opt.boot index 8dfff858..f571be7f 100644 --- a/src/interp/g-opt.boot +++ b/src/interp/g-opt.boot @@ -194,7 +194,7 @@ simplifyVMForm x == x subrname u == - IDENTP u => u + ident? u => u COMPILED_-FUNCTION_-P u or MBPIP u => BPINAME u nil @@ -400,7 +400,7 @@ optSuchthat [.,:u] == ["SUCHTHAT",:u] ++ List of VM side effect free operators. $VMsideEffectFreeOperators == '(FUNCALL - SPADfirst ASH IDENTP FLOAT_-RADIX FLOAT FLOAT_-SIGN + SPADfirst ASH FLOAT_-RADIX FLOAT FLOAT_-SIGN %funcall %nothing %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 %bitxor %bitnot %bcompl @@ -478,7 +478,7 @@ isVMConstantForm form == ++ Return the set of free variables in the VM form `form'. findVMFreeVars form == - IDENTP form => [form] + ident? form => [form] form isnt [op,:args] => nil op is "QUOTE" => nil vars := union/[findVMFreeVars arg for arg in args] @@ -498,7 +498,7 @@ varIsAssigned(var,form) == ++ Return the list of variables referenced in `expr'. dependentVars expr == main(expr,nil) where main(x,vars) == - IDENTP x => + ident? x => symbolMember?(x,vars) => vars [x,:vars] atomic? x => vars @@ -528,7 +528,7 @@ canInlineVarDefinition(var,expr,body) == -- If the initializer is a variable and the body is -- a series of choices with side-effect free predicates, then -- no harm is done by removing the local `var'. - IDENTP expr and body is ['%when,:branches] => + ident? expr and body is ['%when,:branches] => and/[sideEffectFree? pred for [pred,:.] in branches] false |