diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-01-26 19:40:22 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-01-26 19:40:22 +0000 |
| commit | 908960a455e09bf5440ab87ed288efc989f8b29e (patch) | |
| tree | 1a5b46323e66a6302d10b4e1da8e9af6f8fdb4c1 /src/interp/define.boot | |
| parent | d093a22f14e8f669b08ac407b4a2d6fc32d1e2ae (diff) | |
| download | open-axiom-908960a455e09bf5440ab87ed288efc989f8b29e.tar.gz | |
Replace more occurences of LIST with %listlit.
Diffstat (limited to 'src/interp/define.boot')
| -rw-r--r-- | src/interp/define.boot | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 0e62db1d..3d813c18 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -507,9 +507,9 @@ compDefineCategory2(form,signature,specialCases,body,m,e, for u in $extraParms repeat formals:=[first u,:formals] actuals:=[MKQ rest u,:actuals] - body := ['sublisV,['PAIR,['QUOTE,formals],['LIST,:actuals]],body] + body := ['sublisV,['PAIR,['QUOTE,formals],['%listlit,:actuals]],body] if argl then body:= -- always subst for args after extraparms - ['sublisV,['PAIR,['QUOTE,sargl],['LIST,: + ['sublisV,['PAIR,['QUOTE,sargl],['%listlit,: [['devaluate,u] for u in sargl]]],body] body:= ["%bind",[[g:= gensym(),body]], @@ -554,7 +554,7 @@ mkConstructor: %Form -> %Form mkConstructor form == atom form => ['devaluate,form] null form.args => ['QUOTE,[form.op]] - ['LIST,MKQ form.op,:[mkConstructor x for x in form.args]] + ['%listlit,MKQ form.op,:[mkConstructor x for x in form.args]] compDefineCategory(df,m,e,prefix,fal) == $domainShell: local := nil -- holds the category of the object being compiled @@ -855,8 +855,8 @@ genDomainOps(viewName,dom,cat) == siglist:= [sig for [sig,:.] in oplist] oplist:= substNames(dom,viewName,dom,oplist) cd:= - ["%LET",viewName,['mkOpVec,dom,['LIST,: - [['LIST,MKQ op,['LIST,:[mkTypeForm mode for mode in sig]]] + ["%LET",viewName,['mkOpVec,dom,['%listlit,: + [['%listlit,MKQ op,['%listlit,:[mkTypeForm mode for mode in sig]]] for [op,sig] in siglist]]]] $getDomainCode:= [cd,:$getDomainCode] for [opsig,cond,:.] in oplist for i in 0.. repeat @@ -1344,7 +1344,7 @@ bootStrapError(functorForm,sourceFile) == ['COND, _ ['$bootStrapMode, _ ['VECTOR,mkTypeForm functorForm,nil,nil,nil,nil,nil]], - [''T, ['systemError,['LIST,'"%b",MKQ functorForm.op,'"%d",'"from", _ + [''T, ['systemError,['%listlit,'"%b",MKQ functorForm.op,'"%d",'"from", _ '"%b",MKQ namestring sourceFile,'"%d",'"needs to be compiled"]]]] registerInlinableDomain(x,e) == @@ -1367,7 +1367,7 @@ compAdd(['add,$addForm,capsule],m,e) == [['COND, _ ['$bootStrapMode, _ code],_ - [''T, ['systemError,['LIST,'"%b",MKQ $functorForm.op,'"%d",'"from", _ + [''T, ['systemError,['%listlit,'"%b",MKQ $functorForm.op,'"%d",'"from", _ '"%b",MKQ namestring _/EDITFILE,'"%d",'"needs to be compiled"]]]],m,e] $addFormLhs: local:= $addForm if $addForm is ["SubDomain",domainForm,predicate] then @@ -1653,8 +1653,8 @@ wrapDomainSub(parameters,x) == mkExplicitCategoryFunction(domainOrPackage,sigList,atList) == body:= - ["mkCategory",MKQ domainOrPackage,['LIST,:reverse sigList], - ['LIST,:reverse atList],MKQ domList,nil] where + ["mkCategory",MKQ domainOrPackage,['%listlit,:reverse sigList], + ['%listlit,:reverse atList],MKQ domList,nil] where domList() == ("union"/[fn sig for ["QUOTE",[[.,sig,:.],:.]] in sigList]) where fn sig == [D for D in sig | mustInstantiate D] |