Of the outstanding issues listed in the SRFI, I am happy to take no action on 2 (generalized unordered ‘and’), 3 (predicate disjointness/subsumption declarations), 4 (eliminating pointless procedure calls), and 7 (bikeshedding the extended ellipsis syntax).

I promised Arthur there would be some kind of pattern guard solution (issue 1) so he could simulate non-linear patterns. I am increasingly tending towards leaving this to a future extension.

Issue 8 is the only really pressing one, and all I need to do is stare at the THIMK sign John Cowan gave me (#scheme IRC logs, 2023-09-22) and work out what the Right Thing is (and, whatever it is, make sure the sample impl actually does it).

Issue 9 was added by Arthur. Compared to the pre-SRFI draft I originally sent Arthur, I already added a lot of examples before draft 1, but evidently still not enough :-) Arthur, can you suggest which forms still need examples?

Daphne