<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.6000.16546" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT face=Arial size=2><FONT face="Times New Roman" size=3>Hi<BR><BR>The
spec says:<BR><BR>"The enum-set-subset? procedure returns #t if the
universe<BR>of enum-set1 is a subset of the universe of enum-set2<BR>(considered
as sets of symbols) and every element of<BR>enum-set1 is a member of enum-set2.
It returns #f otherwise."<BR><BR>Now the 3rd example returns
false.<BR><BR>(enum-set-subset? (c '(red blue)) (c '(red)))<BR><BR>But this
contradicts the spec, as I see it it is interpreted as follows:<BR><BR>check
that every symbol in<BR> (enum-set->list (enum-set-universe
enum-set1))<BR>is in<BR> (enum-set->list (enum-set-universe
enum-set2))<BR><BR>Another issue is brought up in the definition of
enumset=?.<BR><BR>"...as determined by the<BR>enum-set-subset? procedure. This
implies that the universes<BR>of the two sets are equal as sets of symbols,
but<BR>does not imply that they are equal as enumeration types."<BR><BR>When
different enumeration types are passed to enum-set-subset?, <BR>should it then
test whether the universe is a subset or just the
enum-set.<BR><BR>Regards<BR><BR>leppie</FONT><BR><BR></FONT></DIV></BODY></HTML>