diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-05-05 21:13:51 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-05-05 21:13:51 +0000 |
| commit | 1747742ca654ed7b8907a3622a3e5dffeff9931e (patch) | |
| tree | 7005b1edd7bfc6688b517f3bea5a7dd8d6a9c8e3 /src/interp | |
| parent | de2c2df64f452b8b50f94ebc1aec30830b6cc1e0 (diff) | |
| download | open-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.boot | 10 | ||||
| -rw-r--r-- | src/interp/wi1.boot | 4 |
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) == |