aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-05-05 21:13:51 +0000
committerdos-reis <gdr@axiomatics.org>2010-05-05 21:13:51 +0000
commit1747742ca654ed7b8907a3622a3e5dffeff9931e (patch)
tree7005b1edd7bfc6688b517f3bea5a7dd8d6a9c8e3 /src/interp
parentde2c2df64f452b8b50f94ebc1aec30830b6cc1e0 (diff)
downloadopen-axiom-1747742ca654ed7b8907a3622a3e5dffeff9931e.tar.gz
* interp/compiler.boot (setqSingle): Ignore $QuickLet.
* interp/wi1.boot (setqSingle): Likewise.
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/compiler.boot10
-rw-r--r--src/interp/wi1.boot4
2 files changed, 4 insertions, 10 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index 96661790..1c181546 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -810,19 +810,17 @@ setqSingle(id,val,m,E) ==
m'':=
get(id,"mode",E) or getmode(id,E) or
(if m=$NoValueMode then $EmptyMode else m)
--- m'':= LASSOC("mode",currentProplist) or $EmptyMode
- --for above line to work, line 3 of compNoStacking is required
T:=
eval or return nil where
eval() ==
T:= comp(val,m'',E) => T
- not get(id,"mode",E) and m'' ~= (maxm'':=maximalSuperType m'') and
+ get(id,"mode",E) = nil and m'' ~= (maxm'':=maximalSuperType m'') and
(T:=comp(val,maxm'',E)) => T
(T:= comp(val,$EmptyMode,E)) and getmode(T.mode,E) =>
assignError(val,T.mode,id,m'')
T':= [x,m',e']:= convert(T,m) or return nil
if $profileCompiler = true then
- null IDENTP id => nil
+ not IDENTP id => nil
key :=
id in rest $form => "arguments"
"locals"
@@ -840,9 +838,7 @@ setqSingle(id,val,m,E) ==
--e.g. the %LET form below will be changed by putInLocalDomainReferences
form :=
k := NRTassocIndex(id) => ["setShellEntry","$",k,x]
- $QuickLet => ["%LET",id,x]
- ["%LET",id,x,
- (isDomainForm(x,e') => ['ELT,id,0];first outputComp(id,e'))]
+ ["%LET",id,x]
[form,m',e']
assignError(val,m',form,m) ==
diff --git a/src/interp/wi1.boot b/src/interp/wi1.boot
index c285f4c3..bf86a21c 100644
--- a/src/interp/wi1.boot
+++ b/src/interp/wi1.boot
@@ -590,9 +590,7 @@ setqSingle(id,val,m,E) ==
$markFreeStack := [id,:$markFreeStack]
form:=["setShellEntry","$",k,x]
else form:=
- $QuickLet => ["%LET",id,x]
- ["%LET",id,x,
- (isDomainForm(x,e') => ['ELT,id,0];first outputComp(id,e'))]
+ ["%LET",id,x]
[form,m',e']
setqMultiple(nameList,val,m,e) ==