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/c-util.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/c-util.boot')
-rw-r--r-- | src/interp/c-util.boot | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index 1403eaf8..5a42c2f0 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -46,6 +46,7 @@ module c_-util where getFunctionReplacement: %Symbol -> %Form getSuccessEnvironment: (%Form,%Env) -> %Env getInverseEnvironment: (%Form,%Env) -> %Env + giveVariableSomeValue: (%Symbol,%Mode,%Env) -> %Env --% @@ -465,6 +466,12 @@ getInverseEnvironment(a,e) == a is ["not",a'] => getSuccessEnvironment(a',e) e +++ Give some abstract value to the variable `v' of mode `m' in `e'. +++ Return the resulting environment. +giveVariableSomeValue(x,m,e) == + put(x,'value,[genSomeVariable(),m,nil],e) + + printEnv E == for x in E for i in 1.. repeat for y in x for j in 1.. repeat |