This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Ticket 406: The case of the caseless case-lambda

2012-10-05 06:55:42
WG1 - Core
cowan
major
cowan
fixed
source
closed
2012-06-13 06:23:56
defect

SRFI 16 and R6RS both allow case-lambda with no cases in the syntax; the current R7RS-small draft does not. Technically this should be editorial, but I thought we should have a chance to vote on whether or not to allow it. The R6RS-editors list allowed it for the sake of mechanically generated code, but actually invoking such a case-lambda inevitably provokes an error, whether syntax or "no case matches", so it seems useless to me.

statusnewdecided

Treating as editorial.

owneralexshinncowan
statusdecidedwriting
resolutionfixed
statuswritingclosed