diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-05-03 22:21:52 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-05-03 22:21:52 +0000 |
| commit | a640b1ffcc5c96698065276dfc6c937406e776fd (patch) | |
| tree | 7eb9723a4e028049093d1badd21b3815186de49c /src/interp/slam.boot | |
| parent | 3ac22c456c1d00c35957e7dad2bf10e7294ac6d5 (diff) | |
| download | open-axiom-a640b1ffcc5c96698065276dfc6c937406e776fd.tar.gz | |
* interp/c-util.boot: Use LAMBDA type in lieu of LAM.
* interp/clam.boot: Likewise.
* interp/define.boot: Likewise.
* interp/lisp-backend.boot (COMPILE1): Tidy.
* interp/slam.boot: Likewise.
Diffstat (limited to 'src/interp/slam.boot')
| -rw-r--r-- | src/interp/slam.boot | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/interp/slam.boot b/src/interp/slam.boot index f3f278e7..3a1c0bba 100644 --- a/src/interp/slam.boot +++ b/src/interp/slam.boot @@ -188,8 +188,7 @@ reportFunctionCompilation(op,nam,argl,body,isRecursive) == ["PROG",[g2,g3],["RETURN",['%when,secondPredPair,thirdPredPair]]] -- cannot use envArg in next statement without redoing much -- of above. - lamex:= ["LAM",arg,codeBody] - mainFunction:= [nam,lamex] + mainFunction:= [nam,["LAMBDA",arg,codeBody]] computeFunction:= [auxfn,["LAMBDA",parms,body]] compileInteractive mainFunction compileInteractive computeFunction @@ -223,8 +222,7 @@ reportFunctionCacheAll(op,nam,argl,body) == ['%store,['tableValue,['%dynval,MKQ cacheName],g1], computeValue]] codeBody:= ["PROG",[g2],["RETURN",['%when,secondPredPair,thirdPredPair]]] - lamex:= ["LAM",arg,codeBody] - mainFunction:= [nam,lamex] + mainFunction:= [nam,["LAMBDA",arg,codeBody]] parms := [:argl, "envArg"] computeFunction:= [auxfn,["LAMBDA",parms,body]] compileInteractive mainFunction @@ -289,7 +287,7 @@ compileRecurrenceRelation(op,nam,argl,junk,[body,sharpArg,n,:initCode]) == ['store,['tableValue,["%dynval", MKQ stateNam],extraArgumentCode], newTripleCode] - computeFunction:= [auxfn,["LAM",cargl,cbody]] where + computeFunction:= [auxfn,["LAMBDA",cargl,cbody]] where cargl:= [:argl,lastArg] returnValue:= ["PROGN",newStateCode,first gsList] cbody:= @@ -305,7 +303,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,["LAM",margl,mbody]] where + mainFunction:= [nam,["LAMBDA",margl,mbody]] where margl:= [:argl,'envArg] max:= gensym() tripleCode := ['%pair,n,['%list,:initCode]] |