diff options
author | dos-reis <gdr@axiomatics.org> | 2010-05-23 19:31:23 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-05-23 19:31:23 +0000 |
commit | adae08d08eb4bc36aee21b26073071756d920108 (patch) | |
tree | eaa339c181f9b75219d9d0050fc4253370732ec8 /src/interp/buildom.boot | |
parent | c1552b8106125bc8209d4ea6635198f05b2e1e08 (diff) | |
download | open-axiom-adae08d08eb4bc36aee21b26073071756d920108.tar.gz |
* boot/tokens.boot: gensym is now candidate for renaming.
* boot/ast.boot: Replace GENSYM with gensym.
* interp/buildom.boot: Likewise.
* interp/clam.boot: Likewise.
* interp/clammed.boot: Likewise.
* interp/compiler.boot: Likewise.
* interp/define.boot: Likewise.
* interp/fortcall.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/i-coerce.boot: Likewise.
* interp/i-coerfn.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/i-spec2.boot: Likewise.
* interp/macex.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/nrunopt.boot: Likewise.
* interp/parse.boot: Likewise.
* interp/pf2atree.boot: Likewise.
* interp/pf2sex.boot: Likewise.
* interp/postpar.boot: Likewise.
* interp/ptrees.boot: Likewise.
* interp/server.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/sys-constants.boot: Likewise.
* interp/wi1.boot: Likewise.
* interp/wi2.boot: Likewise.
Diffstat (limited to 'src/interp/buildom.boot')
-rw-r--r-- | src/interp/buildom.boot | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/interp/buildom.boot b/src/interp/buildom.boot index 175f1acb..e0a8bb71 100644 --- a/src/interp/buildom.boot +++ b/src/interp/buildom.boot @@ -195,7 +195,7 @@ UnionPrint(x, dom) == coerceUn2E(x, dom.0) coerceUn2E(x,source) == ["Union",:branches] := source predlist := mkPredList branches - byGeorge := byJane := GENSYM() + byGeorge := byJane := gensym() for b in stripUnionTags branches for p in predlist repeat typeFun := COERCE(["LAMBDA", '(_#1), p],"FUNCTION") if FUNCALL(typeFun,x) then return @@ -308,7 +308,7 @@ constructorCategory (title is [op,:.]) == --mkMappingFunList(nam,mapForm,e) == [[],e] mkMappingFunList(nam,mapForm,e) == nargs := #rest mapForm - dc := GENSYM() + dc := gensym() sigFunAlist:= [["=",[$Boolean,nam ,nam], ["ELT",dc,$FirstParamSlot + nargs]], ["~=",[$Boolean,nam,nam],["ELT",dc,0]], @@ -319,7 +319,7 @@ mkMappingFunList(nam,mapForm,e) == mkRecordFunList(nam,["Record",:Alist],e) == len:= #Alist - dc := GENSYM() + dc := gensym() sigFunAlist:= [["construct",[nam,:[A for [.,a,A] in Alist]],"mkRecord"], ["=",[$Boolean,nam ,nam],["ELT",dc,$FirstParamSlot + len]], @@ -352,7 +352,7 @@ mkNewUnionFunList(name,form is ["Union",:listOfEntries],e) == ["XLAM",["#1"],["QEQCAR","#1",i]]]] for [.,tag,type] in listOfEntries for i in 0..])] where cdownFun() == - gg:=GENSYM() + gg:=gensym() $InteractiveMode => ["XLAM",["#1"],["PROG1",["QCDR","#1"], ["check-union",["QEQCAR","#1",i],type,"#1"]]] @@ -376,7 +376,7 @@ mkUnionFunList(op,form is ["Union",:listOfEntries],e) == nargs := #listOfEntries --1. create representations of subtypes predList:= mkPredList listOfEntries - g:=GENSYM() + g:=gensym() --2. create coercions from subtypes to subUnion cList:= [["=",[$Boolean,g ,g],["ELT",op,$FirstParamSlot + nargs]], @@ -393,7 +393,7 @@ mkUnionFunList(op,form is ["Union",:listOfEntries],e) == p is ["EQCAR",x,n] => ["XLAM",["#1"],["CONS",n,"#1"]] ["XLAM",["#1"],"#1"] cdownFun() == - gg:=GENSYM() + gg:=gensym() if p is ["EQCAR",x,n] then ref:=["QCDR",gg] q:= ["QEQCAR", gg, n] |