This page is part of the web mail archives of SRFI 102 from before July 7th, 2015. The new archives for SRFI 102 are here. Eventually, the entire history will be moved there, including any new messages.
Alexey Radul wrote:
The specification of the procedure procedure-arity-includes? seems to imply the presence of arity information for all procedures. In particular, the null implementation seems to imply that applying any procedure to any set of arguments will always result in an arity error. I suggest changing the specification of procedure-arity-includes? to say: Returns #t if the proc may be able to accept k arguments and #f otherwise. If this procedure returns #f, applying proc to k arguments will result in an arity error. If no arity information is available for proc, returns #t. (the last sentence above is an optional clarification only, that may not be worth including the SRFI document) and changing the null implementation to always return #t.
Yes, there's a bug -- I will change the specification and implementation to the above for the next revision.