diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-30 20:59:38 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-30 20:59:38 +0000 |
commit | d7ba76ec28cadc0dd9e2319938aabc91e92e1618 (patch) | |
tree | abdf32c26ac3e9a8c11888ed4765cdf73a1a8434 /src/interp/wi2.boot | |
parent | 2b3e5e071c5ebb0d4982ae8fd2426c43f6147e36 (diff) | |
download | open-axiom-d7ba76ec28cadc0dd9e2319938aabc91e92e1618.tar.gz |
* interp/c-util.boot (giveVariableSomeValue): New.
* interp/compiler.boot (setqMultiple): Use it.
(compColon): Likewise.
(compRetractGuard): Likewise.
(compRecoverDomain): Likewise.
(defineMatchScrutinee): Likewise.
(compStepIterator): Likewise.
(compIterator): Likewise.
(compUnnamedMapping): Likewise.
* interp/define.boot (giveFormalParametersValues): Likewise.
* interp/wi1.boot (setqMultiple): Likewise.
* interp/wi2.boot (compIterator): Likewise.
(smallIntegerStep): Likewise.
Diffstat (limited to 'src/interp/wi2.boot')
-rw-r--r-- | src/interp/wi2.boot | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/interp/wi2.boot b/src/interp/wi2.boot index 451a4b70..1bd25e3b 100644 --- a/src/interp/wi2.boot +++ b/src/interp/wi2.boot @@ -761,7 +761,7 @@ compIterator(it,e) == stackMessage ["mode: ",m," must be a list or vector of some mode"] if null get(x,"mode",e) then [.,.,e]:= compMakeDeclaration(x,mUnder,e) or return nil - e:= put(x,"value",[genSomeVariable(),mUnder,e],e) + e:= giveVariableSomeValue(x,mUnder,e) markReduceIn(it, [["IN",x,y'],e]) it is ["ON",x,y] => ---------------> new <--------------------- @@ -777,7 +777,7 @@ compIterator(it,e) == stackMessage ["mode: ",m," must be a list of other modes"] if null get(x,"mode",e) then [.,.,e]:= compMakeDeclaration(x,m,e) or return nil - e:= put(x,"value",[genSomeVariable(),m,e],e) + e:= giveVariableSomeValue(x,m,e) [["ON",x,y'],e] it is ["STEP",oindex,start,inc,:optFinal] => index := markKillAll oindex @@ -805,7 +805,7 @@ compIterator(it,e) == -- markImport ['Segment,indexmode] if null get(index,"mode",e) then [.,.,e]:= compMakeDeclaration(index,indexmode,e) or return nil - e:= put(index,"value",[genSomeVariable(),indexmode,e],e) + e:= giveVariableSomeValue(index,indexmode,e) markReduceStep(it, [["STEP",markStep(index),start,inc,:optFinal],e]) it is ["WHILE",p] => [p',m,e]:= @@ -853,7 +853,7 @@ smallIntegerStep(it,index,start,inc,optFinal,e) == givenRange => givenRange nil e:= put(index,"range",range,e) - e:= put(index,"value",[genSomeVariable(),indexmode,e],e) + e:= giveVariableSomeValue(index,indexmode,e) noptFinal := final' => [final'.expr] |