| commit | 5123a40466b67f2033955ec5717b28224e1d3ecb | |
| author | Robert Dodier <robert_dodier@users.sourceforge.net> | |
| Tue, 17 Jan 2023 02:05:36 +0000 (16 18:05 -0800) | ||
| committer | Robert Dodier <robert_dodier@users.sourceforge.net> | |
| Tue, 17 Jan 2023 02:17:02 +0000 (16 18:17 -0800) | ||
| tree | 8633d2afd4c8332d3a2f073973d06c3ae2c56853 | treesnapshot (tar.gz zip) |
| parent | 56bfdf04138f3475cf61bc893e3e2c2d53dda0ae | commitdiff |
In package boolsimp, evaluate arguments of MCOND by MCOND-EVAL-SYMBOLS
(which is what is called by "if") instead of MEVALATOMS.
MEVALATOMS changes expressions but leaves the SIMP flag intact,
which produces expressions which are not handled correctly by
the simplifier, e.g. ((MPLUS SIMP) 1 1).
MCOND-EVAL-SYMBOLS does not have that defect.
(which is what is called by "if") instead of MEVALATOMS.
MEVALATOMS changes expressions but leaves the SIMP flag intact,
which produces expressions which are not handled correctly by
the simplifier, e.g. ((MPLUS SIMP) 1 1).
MCOND-EVAL-SYMBOLS does not have that defect.
| share/contrib/boolsimp/boolsimp.lisp | diffblobblamehistory |