"Llewellyn Pritchard" <[EMAIL PROTECTED]> 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
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
