On 26 Oct 2025, at 10:53, Marc Nieper-Wißkirchen <xxxxxx@gmail.com> wrote:

> After some more thinking, the Right Thing (TM) is likely that disjointed variables do not become bound at all.

Can you explain your reasoning?

In this example

(let ((x 5))
 (match some-input
   ((or (cons x '())
        (cons _ other-var))
    x)))

the error may not be apparent with your suggested approach. In the current code, this signals a syntax violation no matter what some-input is; with this, it would return 5 even if some-input were a 1-list, which could be surprising.

Daphne

(Apologies to Marc for the second copy; I forgot to cc the list)