aboutsummaryrefslogtreecommitdiff
path: root/src/interp/i-spec1.boot.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2007-09-17 15:05:35 +0000
committerdos-reis <gdr@axiomatics.org>2007-09-17 15:05:35 +0000
commit2e464d0c7c161931e8767b6019d93c92d7fd9586 (patch)
treee9707259f95b045f43597af72023b16a802e133e /src/interp/i-spec1.boot.pamphlet
parent7fddd1baa9d6b643302f8c243686d74741aa198a (diff)
downloadopen-axiom-2e464d0c7c161931e8767b6019d93c92d7fd9586.tar.gz
* i-spec1.boot.pamphlet (mkAndApplyZippedPredicates): Fix typo.
(mkIterZippedFun): Use indexList, not the global $indexVars.
Diffstat (limited to 'src/interp/i-spec1.boot.pamphlet')
-rw-r--r--src/interp/i-spec1.boot.pamphlet10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/i-spec1.boot.pamphlet b/src/interp/i-spec1.boot.pamphlet
index 3b4427cd..8175bc6a 100644
--- a/src/interp/i-spec1.boot.pamphlet
+++ b/src/interp/i-spec1.boot.pamphlet
@@ -945,21 +945,21 @@ mkAndApplyZippedPredicates (s,zipType,itrl) ==
-- for one index variable case for now. may generalize later
for iter in itrl repeat
iter is ['WHILE,pred] =>
- predVec := mkIterZippedFun($indexList,pred,zipType,$localVars)
+ predVec := mkIterZippedFun($indexVars,pred,zipType,$localVars)
s := [mkAtreeNode 'swhile,predVec,s]
iter is ['UNTIL,pred] =>
- predVec := mkIterZippedFun($indexList,pred,zipType,$localVars)
+ predVec := mkIterZippedFun($indexVars,pred,zipType,$localVars)
s := [mkAtreeNode 'suntil,predVec,s]
iter is ['SUCHTHAT,pred] =>
putTarget(pred,$Boolean)
- predVec := mkIterZippedFun($indexList,pred,zipType,$localVars)
+ predVec := mkIterZippedFun($indexVars,pred,zipType,$localVars)
s := [mkAtreeNode 'select,predVec,s]
s
mkIterZippedFun(indexList,funBody,zipType,$localVars) ==
-- transform funBody into a lamda with $index as the parameter
- numVars:= #$indexVars
- for [var,:.] in $indexVars repeat
+ numVars:= #indexList
+ for [var,:.] in indexList repeat
funBody := subVecNodes(mkIterVarSub(var,numVars),var,funBody)
put($index,'mode,zipType,$env)
mkLocalVar($mapName,$index)