[r6rs-discuss] enum-set-subset? not clear

[Michael Sperber]

"Llewellyn Pritchard" <leppie at wdsl.co.za> writes:

>> And it does, at least if you mean this by "the 3rd example":
>>   (enum-set-subset? (c '(red blue)) e)
>
> Sorry for the confusion, I meant the 3rd example using
> enum-set-subset?, in other words:
>
> (enum-set-subset? (c '(red blue)) (c '(red))) => #f
>
> But I feel that should be #t as both universe of either value is the
> same.

But the spec states that *also* "every element of \vari{enum-set}
is a member of \varii{enum-set}".  Since blue isn't a member of the
second set, you get #f.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla