diff options
author | dos-reis <gdr@axiomatics.org> | 2008-12-11 22:55:46 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-12-11 22:55:46 +0000 |
commit | 5363e6dd85dc8397464467b7ac278d819ffd7ebe (patch) | |
tree | e62345bd6244b7666b83097bea8a0f63078858fe /src/interp/wi1.boot | |
parent | 25771fb23320f424f6e71ee07407886da815bbdc (diff) | |
download | open-axiom-5363e6dd85dc8397464467b7ac278d819ffd7ebe.tar.gz |
r12438@gauss: gdr | 2008-12-10 01:20:20 -0600
Remove quotify.
Diffstat (limited to 'src/interp/wi1.boot')
-rw-r--r-- | src/interp/wi1.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/wi1.boot b/src/interp/wi1.boot index 9b83ebc0..eab2d59d 100644 --- a/src/interp/wi1.boot +++ b/src/interp/wi1.boot @@ -1022,7 +1022,7 @@ compIf(["IF",aOrig,b,c],m,E) == [xb,mb,Eb]:= Tb:= compFromIf(b,m,Ea) or return nil [xc,mc,Ec]:= Tc:= compFromIf(c,resolve(mb,m),Einv) or return nil xb':= coerce(Tb,mc) or return nil - x:= ["IF",xa,quotify xb'.expr,quotify xc] + x:= ["IF",xa,xb'.expr,xc] (returnEnv:= Env(xb'.env,Ec,xb'.expr,xc,E)) where Env(bEnv,cEnv,b,c,E) == canReturn(b,0,0,true) => |