I would still like to see some way of supporting multiple branches like
case-lambda. For instance, procedure-check-of could return a vector of
lists (or whatever sequence type), where the number of elements is
greater than 0 and otherwise implementation defined. So implementations
that compress case-lambda will only have 1 field, and other
implementations may have more than 1 field.

-- Peter McGoron

On 9/17/26 12:20, Artyom Bologov wrote:
> Yes, this is an option too. However, this will significantly complicate
> the return values (not much of a problem) and will be quite non-portable
> (more of a problem,) as some implementations compile case-lambda-s to a
> single variadic procedure, and some compile them to separate procedures
> of different arities. I worked hard to make case-lambda-s more
> introspectable on Chibi
> <https://github.com/ashinn/chibi-scheme/pull/1189> and STklos
> <https://github.com/egallesio/STklos/pull/932>, but even there my
> results are pretty underwhelming.