diff options
author | dos-reis <gdr@axiomatics.org> | 2010-07-10 13:33:13 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-07-10 13:33:13 +0000 |
commit | e72ded0c7d7fdf5da10fe57f806fde5314cf79c5 (patch) | |
tree | e842d90b009db2f195067fd3438076f83b902412 /src/interp/functor.boot | |
parent | 826ba0aeb9d02fbf93b4ccc44a1c45e7a10917df (diff) | |
download | open-axiom-e72ded0c7d7fdf5da10fe57f806fde5314cf79c5.tar.gz |
* interp/functor.boot (setVector4): Remove. Deadcode.
(setVector4Onecat): Likewise.
(setVector4part3): Likewise.
* interp/nruncomp.boot (NRTsetVector4): Likewise.
(NRTsetVector4Part2): Likewise.
(mergeAppend): Likewise.
* interp/define.boot (compDefineFunctor1): Remove assignment to
unused $lisplibCategoriesExtented.
* interp/lisplib.boot (compDefineLisplib): Likewise.
* interp/wi1.boot (compDefineLisplib): Likewise.
* interp/wi2.boot (compDefineFunctor1): Likewise.
Diffstat (limited to 'src/interp/functor.boot')
-rw-r--r-- | src/interp/functor.boot | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/src/interp/functor.boot b/src/interp/functor.boot index 6292f5fe..1449309a 100644 --- a/src/interp/functor.boot +++ b/src/interp/functor.boot @@ -394,68 +394,6 @@ mkTypeForm x == x is [op] => MKQ x x is [op,:argl] => ['LIST,MKQ op,:[mkTypeForm a for a in argl]] -setVector4(catNames,catsig,conditions) == - if $HackSlot4 then - for ["%LET",name,cond,:.] in $getDomainCode repeat - $HackSlot4:=MSUSBT(name,cond,$HackSlot4) - code := ["setShellEntry",'$,4,'TrueDomain] - code:=['(%LET TrueDomain (nreverse TrueDomain)),:$HackSlot4,code] - code:= - [: - [setVector4Onecat(u,v,w) - for u in catNames for v in catsig for w in conditions],:code] - ['(%LET TrueDomain NIL),:code] - -setVector4Onecat(name,instantiator,info) == - --generates code to create one item in the - --Alist representing a domain - --returns a single LISP expression - instantiator is ['DomainSubstitutionMacro,.,body] => - setVector4Onecat(name,body,info) - data:= - --CAR name.4 contains all the names except itself - --hence we need to add this on, by the above CONS - ['CONS,['CONS,mkTypeForm instantiator,['CAR,['ELT,name,4]]], - name] - data:= ['SETQ,'TrueDomain,['CONS,data,'TrueDomain]] - TruthP info => data - ['COND,[TryGDC PrepareConditional info,data],: - Supplementaries(instantiator,name)] where - Supplementaries(instantiator,name) == - slist:= - [u for u in $supplementaries | AncestorP(first u,[instantiator])] - null slist => nil - $supplementaries:= S_-($supplementaries,slist) - PRETTYPRINT [instantiator,'" should solve"] - PRETTYPRINT slist - slist:= - [form(u,name) for u in slist] where - form([cat,:cond],name) == - u:= ['QUOTE,[cat,:first eval(cat).4]] - ['COND,[TryGDC cond,['SETQ,'TrueDomain,['CONS,['CONS,u,name], - 'TrueDomain]]]] - # slist=1 => [CADAR slist] - --return a list, since it is CONSed - slist:= ['PROGN,:slist] - [['(QUOTE T),slist]] - -setVector4part3(catNames,catvecList) == - --the names are those that will be applied to the various vectors - generated:= nil - for u in catvecList for uname in catNames repeat - for v in third u.4 repeat - if w:= assoc(first v,generated) - then w.rest := [[rest v,:uname],:rest w] - else generated:= [[first v,[rest v,:uname]],:generated] - codeList := nil - for [w,:u] in generated repeat - code := compCategories w - for v in u repeat - code:= ["setShellEntry",rest v,first v,code] - if CONTAINED('$,w) then $epilogue := [code,:$epilogue] - else codeList := [code,:codeList] - codeList - PrepareConditional u == u setVector5(catNames,locals) == |