aboutsummaryrefslogtreecommitdiff
path: root/src/interp/functor.boot
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-08-25 19:23:54 +0000
committerdos-reis <gdr@axiomatics.org>2011-08-25 19:23:54 +0000
commit635d8e32c29f94a2e4813e36a75bdfba167e8ac1 (patch)
tree48d7673e043a60f0e6d949924b6f4a8cf7cfd7d9 /src/interp/functor.boot
parentcd5a921db34f465d1dc8fbd2061d9077f64434cf (diff)
downloadopen-axiom-635d8e32c29f94a2e4813e36a75bdfba167e8ac1.tar.gz
* interp/compiler.boot (compHasFormat): Take environment
argument. Adjust callers. * interp/define.boot (NRTmakeCategoryAlist): Likewise. * interp/functor.boot (ProcessCond): Likewise. * interp/lisplib.boot (NRTgenFinalAttributeAlist): Likewise. (predicateBitIndex): Likewise. (predicateBitRef): Likewise. (makePredicateBitVector): Likewise. (transHasCode): Likewise.
Diffstat (limited to 'src/interp/functor.boot')
-rw-r--r--src/interp/functor.boot12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/interp/functor.boot b/src/interp/functor.boot
index 20ed8c36..33e7c592 100644
--- a/src/interp/functor.boot
+++ b/src/interp/functor.boot
@@ -445,7 +445,7 @@ DescendCode(code,flag,viewAssoc) ==
reverse! [v for u in reverse codelist |
(v:= DescendCode(u,flag,viewAssoc))~=nil]]
code is ['%when,:condlist] =>
- c:= [[u2:= ProcessCond first u,:q] for u in condlist] where q() ==
+ c:= [[u2:= ProcessCond(first u,$e),:q] for u in condlist] where q() ==
null u2 => nil
f:=
TruthP u2 => flag;
@@ -473,7 +473,7 @@ DescendCode(code,flag,viewAssoc) ==
code:=['%store,['%tref,['%tref,'$,5],#$locals-#u],code]
$epilogue:=
TruthP flag => [code,:$epilogue]
- [['%when,[ProcessCond flag,code]],:$epilogue]
+ [['%when,[ProcessCond(flag,$e),code]],:$epilogue]
nil
code
code -- doItIf deletes entries from $locals so can't optimize this
@@ -488,7 +488,7 @@ DescendCode(code,flag,viewAssoc) ==
if not $insideCategoryPackageIfTrue then
updateCapsuleDirectory([second(u).args,third u],flag)
ConstantCreator u =>
- if flag ~= true then u:= ['%when,[ProcessCond flag,u]]
+ if flag ~= true then u:= ['%when,[ProcessCond(flag,$e),u]]
$ConstantAssignments:= [u,:$ConstantAssignments]
nil
u
@@ -508,9 +508,9 @@ ConstantCreator u ==
u is ['CONS,:.] => false
true
-ProcessCond cond ==
+ProcessCond(cond,e) ==
ncond := applySubst($pairlis,cond)
- integer? POSN1(ncond,$NRTslot1PredicateList) => predicateBitRef ncond
+ integer? POSN1(ncond,$NRTslot1PredicateList) => predicateBitRef(ncond,e)
cond
TryGDC cond ==
@@ -688,7 +688,7 @@ InvestigateConditions(catvecListMaker,env) ==
ICformat(u,env) ==
u isnt [.,:.] => u
- u is ["has",:.] => compHasFormat u
+ u is ["has",:.] => compHasFormat(u,env)
u is ['AND,:l] or u is ['and,:l] =>
l:= removeDuplicates [ICformat(v,env) for [v,:l'] in tails l
| not listMember?(v,l')]