[r6rs-discuss] [Formal] Simplifying conditions (fwd)
andre at het.brown.edu
Sun Nov 26 18:48:54 EST 2006
On Sun, 26 Nov 2006, Michael Sperber wrote:
> The condition system distinguishes between simple conditions and
> compound conditions. A compound condition consists of an ordered set
> of simple conditions. Thus, every condition can be viewed as an
> ordered set of simple component conditions: If it is simple, the set
> consists of the condition itself;
- The last sentence may be read to imply that every simple condition is a
compound condition. It is not clear to me if this is true or not.
- Conversely, are singleton compound conditions simple conditions?
It seems to me that it would be simplest ;-) if they were indeed simple.
For example, does the one-argument case of
return a simple condition?
- Also, why not allow the degenerate case of null compound conditions?
In other words, is there a deeper reason why the following should be
More information about the r6rs-discuss