[r6rs-discuss] [Formal] Simplifying conditions

[AndrevanTonder]

On Sun, 26 Nov 2006, Michael Sperber wrote:

> So how does this suggestion look to you?
>
> 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

     (make-compound-condition simple-condition)

   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
   illegal?

    (make-compound-condition)

Cheers
Andre