| commit | f7b469670359aef3d1ce7a34e685c92e7d3d2699 | |
| author | Kris Katterjohn <katterjohn@gmail.com> | |
| Sun, 13 Nov 2022 05:02:47 +0000 (13 00:02 -0500) | ||
| committer | Kris Katterjohn <katterjohn@gmail.com> | |
| Sun, 13 Nov 2022 05:02:47 +0000 (13 00:02 -0500) | ||
| tree | c8e996a295e1600d4c17b35e2e64f12cfb351745 | treesnapshot (tar.gz zip) |
| parent | cf7c667c46ec8d4c1d53b9e88c1f81cc8be4b091 | commitdiff |
Improve the translation of notequal
The translation of notequal has been similar to equal followed by
not (TRP-NOT). Now we translate notequal more directly, using MNQP
in the general case.
The equal followed by not is not a problem for is/maybe, but the way
TRP-NOT is implemented would be a problem in the future. An upcoming
commit will make if honor prederror, and TRP-NOT could yield bogus
results when prederror is false.
See also commit cf7c667c for more.
No problems with the test suite, share test suite or rtest_translator.
New tests have been added to rtest_translator.
The translation of notequal has been similar to equal followed by
not (TRP-NOT). Now we translate notequal more directly, using MNQP
in the general case.
The equal followed by not is not a problem for is/maybe, but the way
TRP-NOT is implemented would be a problem in the future. An upcoming
commit will make if honor prederror, and TRP-NOT could yield bogus
results when prederror is false.
See also commit cf7c667c for more.
No problems with the test suite, share test suite or rtest_translator.
New tests have been added to rtest_translator.
| src/trpred.lisp | diffblobblamehistory | |
| tests/rtest_translator.mac | diffblobblamehistory |