diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-11 20:47:10 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-11 20:47:10 +0000 |
| commit | 9df910dc2e9a9a1eaf7a0e8d726a2181b1e31862 (patch) | |
| tree | da29042a8ae4bfb04d01ac7a67b34db81ffe2a95 /src/interp/slam.boot | |
| parent | 4d744926ba30ed64d68481878404d99c745cd595 (diff) | |
| download | open-axiom-9df910dc2e9a9a1eaf7a0e8d726a2181b1e31862.tar.gz | |
Consistently use OIL opcodes for abstractions
Diffstat (limited to 'src/interp/slam.boot')
| -rw-r--r-- | src/interp/slam.boot | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/interp/slam.boot b/src/interp/slam.boot index f8c0e4b1..ded60ffa 100644 --- a/src/interp/slam.boot +++ b/src/interp/slam.boot @@ -151,7 +151,7 @@ reportFunctionCompilation(op,nam,argl,body,isRecursive) == cacheCount = "all" => reportFunctionCacheAll(op,nam,argl,body) parms := [:argl,"envArg"] cacheCount = 0 or null argl => - compileInteractive [nam,["LAMBDA",parms,body]] + compileInteractive [nam,['%lambda,parms,body]] nam num := integer? cacheCount => @@ -186,8 +186,8 @@ reportFunctionCompilation(op,nam,argl,body,isRecursive) == ["PROG",[g2,g3],["RETURN",['%when,secondPredPair,thirdPredPair]]] -- cannot use envArg in next statement without redoing much -- of above. - mainFunction:= [nam,["LAMBDA",arg,codeBody]] - computeFunction:= [auxfn,["LAMBDA",parms,body]] + mainFunction:= [nam,['%lambda,arg,codeBody]] + computeFunction:= [auxfn,['%lambda,parms,body]] compileInteractive mainFunction compileInteractive computeFunction cacheType:= "function" @@ -220,9 +220,9 @@ reportFunctionCacheAll(op,nam,argl,body) == ['%store,['tableValue,['%dynval,MKQ cacheName],g1], computeValue]] codeBody:= ["PROG",[g2],["RETURN",['%when,secondPredPair,thirdPredPair]]] - mainFunction:= [nam,["LAMBDA",arg,codeBody]] + mainFunction:= [nam,['%lambda,arg,codeBody]] parms := [:argl, "envArg"] - computeFunction:= [auxfn,["LAMBDA",parms,body]] + computeFunction:= [auxfn,['%lambda,parms,body]] compileInteractive mainFunction compileInteractive computeFunction cacheType:= 'hash_-table @@ -285,7 +285,7 @@ compileRecurrenceRelation(op,nam,argl,junk,[body,sharpArg,n,:initCode]) == ['store,['tableValue,["%dynval", MKQ stateNam],extraArgumentCode], newTripleCode] - computeFunction:= [auxfn,["LAMBDA",cargl,cbody]] where + computeFunction:= [auxfn,['%lambda,cargl,cbody]] where cargl:= [:argl,lastArg] returnValue:= ["PROGN",newStateCode,first gsList] cbody:= @@ -301,7 +301,7 @@ compileRecurrenceRelation(op,nam,argl,junk,[body,sharpArg,n,:initCode]) == continueInit:= [["%LET",gIndex,["ELT",stateVar,0]], :[["%LET",g,["ELT",stateVar,i]] for g in gsList for i in 1..]] - mainFunction:= [nam,["LAMBDA",margl,mbody]] where + mainFunction:= [nam,['%lambda,margl,mbody]] where margl:= [:argl,'envArg] max:= gensym() tripleCode := ['%pair,n,['%list,:initCode]] |