Am Fr., 28. Aug. 2020 um 15:04 Uhr schrieb Panicz Maciej Godek
<xxxxxx@gmail.com>:

>> If this is supposed to be true not only for the reference implementation then it should be added to the specification section that a single identifier is never read as a pattern but always as a variable.
>
>
> I'll add this.

Thanks. SRFI 201 may have a similar problem.

>> (Unfortunately, this excludes some use cases like (and-let* (... (_ (display "Logging...")) ...) ...), where we just want to ignore the return value.
>>
> If display does not return #f, then it does not, because you aren't forced to use the identifier anywhere. If it could return #f, then you'd either need to write this explicitly, as in (and-let* (... (#f (display "Logging ...")) ...) ...), or use the `,_ pattern instead.

NB "display" returns an unspecified value, which could be anything including #f.