Change the translation of # to avoid the problematic TRP-NOT
commit2e0f088b05c4f67274830d80f4e282fe15b9ab53
authorKris Katterjohn <katterjohn@gmail.com>
Sun, 13 Nov 2022 05:11:05 +0000 (13 00:11 -0500)
committerKris Katterjohn <katterjohn@gmail.com>
Sun, 13 Nov 2022 05:11:05 +0000 (13 00:11 -0500)
treee3b365ff07db227f7b13b2a5117378b255faefc9
parentf7b469670359aef3d1ce7a34e685c92e7d3d2699
Change the translation of # to avoid the problematic TRP-NOT

The translation of # is the last user of TRP-NOT (see commits cf7c667c
and f7b46967 for more on TRP-NOT).

Instead of wrapping the translation of = in a call to TRP-NOT, let's
just translate # as the logical negation of =.

Then we can just remove TRP-NOT.

No problems with the test suite, share test suite or rtest_translator.
New tests have been added to rtest_translator.
src/trpred.lisp
tests/rtest_translator.mac