Hello, >From my side I can only reiterate that the document is authoritative. If anything implementation does "extra" it is either because I found it more convenient to implement that way or because earlier drafts asked for it but the final version left unspecified. I vaguely remember older wording that dispatching is done by generic procedure and DTO only implements a single function with full parameters (but browsing around history I can't find it so maybe I dreamed it up), which would require well defined defaults everywhere.
In any case, I'll leave specification concerns for John to answer. Arvydas 2025-08-17, sk, 22:50 Arthur A. Gleckler <[email protected]> rašė: > On Sun, Aug 17, 2025 at 9:39 AM Peter McGoron <[email protected]> wrote: > > >> 1. Do the generic procedures or the implementations in the DTO handle >> optional arguments? The sample implementation of SRFI-225 handles >> default arguments in generic procedures, but the SRFI doesn't specify >> this behavior. >> > > Thanks for the feedback. It's always good to hear the experiences of > people writing additional implementations. > > The SRFI document is normative, i.e. it is what defines the correct > behavior. Sometimes, as in this case, the sample implementation differs. > If it does more than the document calls for, that's nice, but doesn't mean > that other implementations must do so in order to conform. It is does less > than what the document calls for, that's a bug in the sample implementation. > > John and Arvydas, do you have any comments? >
