[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Specification bug?
This page is part of the web mail archives of SRFI 102 from before July 7th, 2015. The new archives for SRFI 102 contain all messages, not just those from before July 7th, 2015.
- To: srfi-102@xxxxxxxxxxxxxxxxx
- Subject: Specification bug?
- From: Alexey Radul <axofch@xxxxxxxxx>
- Date: Tue, 22 Sep 2009 08:28:36 -0400
- Delivered-to: srfi-102@xxxxxxxxxxxxxxxxx
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:message-id:subject :from:to:content-type; bh=42fqup6ETAXFxXjdYmf4qrVM1HO2Ml9tnsVSm+1riNo=; b=sEKZL56yDInmgcvi5qcpcdaTa2RxHJLS/mtSjP8C7xmKuHLUqs28tynBxjzCpFQNvo 27sekqGo1OgARtsp+dW+2sPV+ZjLJQHOyRRuZxOMeRNXQZjEVyG542pXKRtGFehvjuLU 9Lr0jlFoHrgzhhHYHQG620lwDrJJslw8ON/aM=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=ooupgMA/PDhZB0OhgLUaSM5qYImyUzspVcoqFC0Dc0p/ShlxUfUG0xmazyGdUhaiqx dHv0IOnyMzAO5JZWVdJIp7yvqRAYKfz7di7aq64WhEefHXDa1rW9jGIu72g2zuk6ntSb 616DgIMuKVy1guKlFogBIGmTGtgB7XynY1/WE=
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.
Cheers,
~Alexey