>> If you want to leave the payload unspecified, you should also leave >> the number of unspecified values unspecified. That certainly makes >> sense. > > > That is what R6RS permits in all such situations, but doing so was not only rejected by all R6RS implementers (except that in Racket "(if #f #f)" in a value context is a syntax error), but by the R7RS committee as well. It's a theoretical nicety that no one actually wants. We shouldn't mix two different things here. One is the number of return values for expression that - theoretically - shouldn't yield any value but which is already prescribed by history, and the other one is number values in a Just/Left/Right that should be left opaque. PS Is there a real-life bugfree example of a program that would break if forms like `set!' evaluated to no value?
