diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-25 19:23:54 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-25 19:23:54 +0000 |
commit | 635d8e32c29f94a2e4813e36a75bdfba167e8ac1 (patch) | |
tree | 48d7673e043a60f0e6d949924b6f4a8cf7cfd7d9 /src/interp/functor.boot | |
parent | cd5a921db34f465d1dc8fbd2061d9077f64434cf (diff) | |
download | open-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.boot | 12 |
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')] |