[r6rs-discuss] [Formal] Simplifying conditions

[AndrevanTonder]

On Mon, 27 Nov 2006, Michael Sperber wrote:

>> - 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?
>
> By the above predicate, yes.

In that case, calling it make-compound-condition does seem slightly confusing 
to me.  Something like "compose-conditions" might be easier (bit probably 
does not matter much).

Also

> Thus, every condition can be viewed as an
> ordered set of simple component conditions:

Is there a notion of equality that makes it a set as opposed to a list?  In 
other words, can one observe the difference between

     (make-compound-condition x x)
and (make-compound-condition x)

using explode-condition?  If one can, it might be better not to use the word 
"set".

Cheers
Andre