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/br-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/br-util.boot')
-rw-r--r-- | src/interp/br-util.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/br-util.boot b/src/interp/br-util.boot index 92f05311..ca0e004d 100644 --- a/src/interp/br-util.boot +++ b/src/interp/br-util.boot @@ -153,7 +153,7 @@ htPred2English(x,:options) == IDENTP x and not MEMQ(x,$emList) => htSay escapeSpecialIds PNAME x htSay form2HtString(x,$emList) gn(x,op,l,prec) == - MEMQ(op,'(NOT not)) => + op in '(NOT not) => htSay('"not ") fn(first l,0) op = 'HasCategory => @@ -164,7 +164,7 @@ htPred2English(x,:options) == bcConform(first l,$emList) htSay('" has ") fnAttr CADADR l - MEMQ(op,'(has ofCategory)) => + op in '(has ofCategory) => bcConform(first l,$emList) htSay('" has ") [a,b] := l @@ -446,7 +446,7 @@ extractHasArgs pred == x := find pred or return nil where find x == x is [op,:argl] => op = 'hasArgs => x - MEMQ(op,'(AND OR NOT)) => or/[find y for y in argl] + op in '(AND OR NOT) => or/[find y for y in argl] nil nil [rest x,:simpBool substitute('T,x,pred)] |