Mark H Weaver <[email protected]> writes: > David Kastrup <[email protected]> writes: >> So you think that it will be more "lightweight" if (values) does not >> have an immediate representation but rather creates a multiple-values >> object on the heap? > > I don't have time to continue this discussion, but I wanted to respond > to this one point: there should be a single global > statically-allocated instance of the multiple-values object containing > zero values, and the procedures that create multiple-values objects > would always use that one.
So we are in agreement that a single object (I don't see a meaningful distinction between "immediate" and "single global statically-allocated" that is consistently being used) with SCM_NO_VALUES semantics makes sense. Where we don't agree is about making it the same as SCM_UNSPECIFIED. It is my contention that the concepts for SCM_NO_VALUES and SCM_UNSPECIFIED overlap too much to offer the user a meaningful distinction allowing him to make a qualified choice between returning one of the two. I consider it a good hint that the REPL already considers *unspecified* and (values) similar enough that it prints exactly the same for either input, namely nothing. So I'm pretty convinced that the user is better off without having to deal with two separate representations of "no useful value". -- David Kastrup
