Am Fr., 28. Aug. 2020 um 20:28 Uhr schrieb Felix Thibault
<xxxxxx@gmail.com>:

> I don't think we are going to come up with a compelling use case, but do we just drop it or include some notation about the logic of dropping it or is that discretionary?

A lot of people seem to view the various match-letXXX macros as a
convenient replacement for the usual letXXX forms also when some
pattern matching has to be done along with normal bindings. For these
use cases, it may be a good thing to be able to translate mechanically
from letXXX to match-letXXX (which would include letrec and (!)
letrec*). (See also SRFI 201.)

Whatever, the issue with the implementation should not be the basis of
our reasoning (because the implementation can be fixed and, as Alex
pointed out, the chance that the bug is exhibited by non-testing code
is rather small).

Marc