David Benbennick | 4 Dec 05:02
Picon

Re: Proposal: Bounded instance for IntSet (ticket #1953)

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).

Gmane