I wasn't thinking of a vector of records, but it makes sense for
case-lambda, because each case of a case-lambda is really a different
procedure that is selected from the argument list. However, given that
an implementation might do things differently here (for example, general
pattern matching against clauses), it might be better to have a record
that contains vectors.

-- Peter McGoron

On 9/19/26 19:22, Artyom Bologov wrote:
> Peter, in another email thread, have suggested to return a list of
> specifications (like you did, but it finally got to me this time) from
> procedure-*-of, to support case-lambda et al. So, merging that idea with
> records, we get a sequence (list of vector, not sure) of records
> specifying checks / types for a procedure.
>
> Does it sound sane?