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/simpbool.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/simpbool.boot')
-rw-r--r-- | src/interp/simpbool.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/simpbool.boot b/src/interp/simpbool.boot index e487d986..b6f33fb3 100644 --- a/src/interp/simpbool.boot +++ b/src/interp/simpbool.boot @@ -87,9 +87,9 @@ b2dnf x == x = NIL => 'false atom x => bassert x [op,:argl] := x - MEMQ(op,'(AND and)) => band argl - MEMQ(op,'(OR or)) => bor argl - MEMQ(op,'(NOT not)) => bnot first argl + op in '(AND and) => band argl + op in '(OR or) => bor argl + op in '(NOT not) => bnot first argl bassert x band x == x is [h,:t] => andDnf(b2dnf h,band t) |