diff options
author | dos-reis <gdr@axiomatics.org> | 2009-09-25 20:48:45 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-09-25 20:48:45 +0000 |
commit | 489cfd14dccfcaf7b0ebd41e9d0f8e081a9d1d9f (patch) | |
tree | 84a87ab3bdba58fe9fd2975efc829d1ed10b8781 /src/interp/c-util.boot | |
parent | 7704713134cb251be6129f38833930228e09eee2 (diff) | |
download | open-axiom-489cfd14dccfcaf7b0ebd41e9d0f8e081a9d1d9f.tar.gz |
* boot/ast.boot (bfMember): Improve a bit.
* boot/tokens.boot: Don't rename 'is' and 'inst'.
* boot/parser.boot: Use 'in' instead of 'MEMQ' where approrpriate.
* interp/: Likewise.
Diffstat (limited to 'src/interp/c-util.boot')
-rw-r--r-- | src/interp/c-util.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index 91bafd3e..dbc3789a 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -618,7 +618,7 @@ decExitLevel u == adjExitLevel(x,seqnum,inc) == atom x => x - x is [op,:l] and MEMQ(op,'(SEQ REPEAT COLLECT)) => + x is [op,:l] and op in '(SEQ REPEAT COLLECT) => for u in l repeat adjExitLevel(u,seqnum+1,inc) x is ["exit",n,u] => (adjExitLevel(u,seqnum,inc); seqnum>n => x; rplac(CADR x,n+inc)) @@ -1441,7 +1441,7 @@ declareGlobalVariables vars == simplifySEQ form == isAtomicForm form => form - form is ["SEQ",[op,a]] and MEMQ(op, '(EXIT RETURN)) => simplifySEQ a + form is ["SEQ",[op,a]] and op in '(EXIT RETURN) => simplifySEQ a for stmts in tails form repeat rplac(first stmts, simplifySEQ first stmts) form |