diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-09-09 22:07:58 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-09-09 22:07:58 +0000 |
| commit | cc4c6a9e4cc71d63143037da74c11271640ae8fb (patch) | |
| tree | c62dd525c8a7386f951aa31824e7a8217e7bd3da /src/interp/g-opt.boot | |
| parent | 8d136c0846dadbbffd8c84f5d02c0b4ba67700d3 (diff) | |
| download | open-axiom-cc4c6a9e4cc71d63143037da74c11271640ae8fb.tar.gz | |
* interp/g-opt.boot (optXLAMCond): Remove as useless.
(optCONDtail): Likewise.
Diffstat (limited to 'src/interp/g-opt.boot')
| -rw-r--r-- | src/interp/g-opt.boot | 18 |
1 files changed, 1 insertions, 17 deletions
diff --git a/src/interp/g-opt.boot b/src/interp/g-opt.boot index 709e7b41..7e754db3 100644 --- a/src/interp/g-opt.boot +++ b/src/interp/g-opt.boot @@ -261,7 +261,7 @@ optCall (x is ['%call,:u]) == u is [['XLAM,vars,body],:args] => vars isnt [.,:.] => body #vars > #args => systemErrorHere ['optCall,x] - resetTo(x,optXLAMCond applySubst(pairList(vars,args),body)) + resetTo(x,applySubst(pairList(vars,args),body)) [fn,:a] := u fn isnt [.,:.] => opt := fn has OPTIMIZE => resetTo(x,FUNCALL(opt,u)) @@ -343,22 +343,6 @@ optIF2COND ["IF",a,b,c] == c is ["IF",:.] => ['%when,[a,b],:rest optIF2COND c] c is ['%when,:p] => ['%when,[a,b],:p] ['%when,[a,b],['%otherwise,c]] - -optXLAMCond x == - x is ['%when,u:= [p,c],:l] => - p is '%otherwise => c - ['%when,u,:optCONDtail l] - x isnt [.,:.] => x - x.first := optXLAMCond first x - x.rest := optXLAMCond rest x - x - -optCONDtail l == - null l => nil - [frst:= [p,c],:l']:= l - p is '%otherwise => [['%otherwise,c]] - null rest l => [frst,['%otherwise,["CondError"]]] - [frst,:optCONDtail l'] ++ Determine whether the symbol `g' is the name of a temporary that ++ can be replaced in the form `x', if it is of linear usage and not |