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/cattable.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/cattable.boot')
-rw-r--r-- | src/interp/cattable.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/cattable.boot b/src/interp/cattable.boot index 2c8129b8..10afbecd 100644 --- a/src/interp/cattable.boot +++ b/src/interp/cattable.boot @@ -103,7 +103,7 @@ simpHasPred(pred,:options) == main where op = 'HasAttribute => form := ["has",a := CAR r,['ATTRIBUTE,b := simpDevaluate CADR r]] simpHasAttribute(form,a,b) - MEMQ(op,'(AND OR NOT)) => + op in '(AND OR NOT) => null (u := MKPF([simp p for p in r],op)) => nil u is '(QUOTE T) => true simpBool u |