Am Sa., 29. Aug. 2020 um 00:20 Uhr schrieb Felix Thibault
<xxxxxx@gmail.com>:

[...]

> On the third hand, when I am updating the library to include the and/or fixes there will be no problem including the match-letrec fixes, at least for now.

If you leave match-letrec in the library (just for completeness), you
may also want to add a match-letrec* that is slightly stricter. Both
match-letrec and match-letrec* could share the same (stricter)
implementation.

Marc

PS The comment "Uses the technique described in [Kiselyov, 2013]."
under the match-letrec heading should be moved into the implementation
section. It is not inherent to the specification of match-letrec (and
a later implementation may implement match-letrec differently).