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/nruncomp.boot | |
parent | e77d30ccf1b663aaa6ec1e017fa8e31f3296afeb (diff) | |
download | open-axiom-9a593e3b395c1ba0c6036760c12713d7485f8c54.tar.gz |
cleanup
Diffstat (limited to 'src/interp/nruncomp.boot')
-rw-r--r-- | src/interp/nruncomp.boot | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index 746a7067..f3ee3e09 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -122,7 +122,7 @@ NRTencode(x,y) == encode(x,y,true) where encode(x,compForm,firstTime) == (x' := isQuasiquote x) => quasiquote encode(x',isQuasiquote compForm,false) op is "Enumeration" => x - IDENTP op and (constructor? op or builtinConstructor? op) => + ident? op and (constructor? op or builtinConstructor? op) => [op,:[encode(y,z,false) for y in x.args for z in compForm.args]] -- enumeration constants are like field names, they do not need -- to be encoded. @@ -139,7 +139,7 @@ NRTencode(x,y) == encode(x,y,true) where encode(x,compForm,firstTime) == listOfBoundVars form == -- Only called from the function genDeltaEntry below form is '$ => [] - IDENTP form and (u:=get(form,'value,$e)) => + ident? form and (u:=get(form,'value,$e)) => u:=u.expr builtinConstructor? KAR u => listOfBoundVars u [form] @@ -157,7 +157,7 @@ listOfBoundVars form == needToQuoteFlags?(sig,env) == or/[selector?(t,env) for t in sig] where selector?(t,e) == - IDENTP t and null get(t,"value",e) + ident? t and null get(t,"value",e) optDeltaEntry(op,sig,dc,eltOrConst) == $killOptimizeIfTrue => nil @@ -176,7 +176,7 @@ optDeltaEntry(op,sig,dc,eltOrConst) == if fun = nil and needToQuoteFlags?(sig,$e) then nsig := [quoteSelector tt for tt in sig] where quoteSelector(x) == - not(IDENTP x) => x + not(ident? x) => x get(x,'value,$e) => x x='$ => x MKQ x @@ -291,7 +291,7 @@ NRTassignCapsuleFunctionSlot(op,sig) == NRTinnerGetLocalIndex x == atom x => x op := x.op - IDENTP op and (constructor? op or builtinConstructor? op) => + ident? op and (constructor? op or builtinConstructor? op) => NRTgetLocalIndex x op is "[||]" => NRTgetLocalIndex x NRTaddInner x |