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

[Michael Sperber]

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

> "The enum-set-subset? procedure returns #t if the universe
> of enum-set1 is a subset of the universe of enum-set2
> (considered as sets of symbols) and every element of
> enum-set1 is a member of enum-set2. It returns #f otherwise."
>
> Now the 3rd example returns false.
>
> (enum-set-subset? (c '(red blue)) (c '(red)))
>
> But this contradicts the spec, as I see it it is interpreted as follows:
>
> check that every symbol in
>     (enum-set->list (enum-set-universe enum-set1))
> is in
>     (enum-set->list (enum-set-universe enum-set2))

How so?  The two sets (c '(red blue)) and (c '(red)) have the same
universe.

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