Bug in sample implementation Marc Nieper-Wißkirchen 16 Jun 2020 06:10 UTC
Re: Bug in sample implementation Wolfgang Corcoran-Mathe 16 Jun 2020 18:28 UTC

Bug in sample implementation Marc Nieper-Wißkirchen 16 Jun 2020 06:10 UTC

In the case that only one SEED is given, the sample implementations of
maybe-unfold and either-unfold assume that MAPPER applied to the SEED
returns only one value.

(This is unrelated to the other issue that SUCCESSOR mustn't be a
dummy argument.)