[r6rs-discuss] [Formal] Simplifying conditions

From: AndrevanTonder <andre>
Date: Sun Nov 26 18:51:29 2006

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
Received on Sun Nov 26 2006 - 18:47:13 UTC