4 Dec 05:02
Re: Proposal: Bounded instance for IntSet (ticket #1953)
David Benbennick <dbenbenn <at> gmail.com>
2007-12-04 04:02:17 GMT
2007-12-04 04:02:17 GMT
On 12/3/07, Stefan O'Rear <stefanor <at> cox.net> wrote: > I would have used descending order; so it's not *completely* universal. Well, using ascending order agrees with "show" and "toList". But you do have a point. If Ord used descending order, then (isSubsetOf a b) would imply (a <= b). With the existing Ord instance, (isSubsetOf a b) implies nothing about (compare a b).
RSS Feed