"Llewellyn Pritchard" <[EMAIL PROTECTED]> 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

_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss

Reply via email to