diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-12-18 04:29:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-12-18 04:29:19 +0000 |
| commit | d286893196d08cbe61ff2c80f470d8c0a7f606cf (patch) | |
| tree | 44e9f6e45d3a5266be0f0f5b9a85fd18d1d19647 /src/interp/g-util.boot | |
| parent | a3517dedf8b4791ce1b6378cb431802b647c7222 (diff) | |
| download | open-axiom-d286893196d08cbe61ff2c80f470d8c0a7f606cf.tar.gz | |
* interp/g-opt.boot (removeScope!): New.
(optimize!): Call it.
(optimizeFunctionDef): Simplify.
Diffstat (limited to 'src/interp/g-util.boot')
| -rw-r--r-- | src/interp/g-util.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/g-util.boot b/src/interp/g-util.boot index 4404d105..bceb53b9 100644 --- a/src/interp/g-util.boot +++ b/src/interp/g-util.boot @@ -55,8 +55,8 @@ abstraction? x == x is [op,:.] and ident? op and abstractionOperator? op hasNoLeave?(expr,g) == + atomic? expr => true expr is ['%leave, =g,:.] => false - expr isnt [.,:.] => true hasNoLeave?(first expr,g) and hasNoLeave?(rest expr,g) mkScope(tag,expr) == |