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 538: Falling off a cond-expand should be unspecified behavior

2013-07-07 03:18:46
WG1 - Core
alexshinn
major
cowan
fixed
source
closed
2013-05-23 21:32:28
defect

Jussi Piitulainen writes in a private email to John Cowan:

(cond-expand ...) entry (page 15): "Otherwise, the cond-expand has no effect." I think it would be better for it to "expand to nothing", except the sample implementation seems to be a syntax error, which surely is an effect.

SRFI 0 clearly requires that an error be signaled if the cond-expand falls off the end. Unfortunately, when I created CondExpandCowan, on which people actually voted, I forgot to specify anything for this case. In Chibi it has no effect. Changed editorially to "the behavior is unspecified".

Also, "spliced into the current context as if by begin" -> "expanded to a begin" and let that begin have the splicing semantics if the context is appropriate.

Changed editorially.

resolutionfixed
statusnewclosed