User defined Ix instances potentially unsafe

Matt Harden matth@mindspring.com
Wed, 02 May 2001 21:39:13 -0500


Matt Harden wrote:

> blah, blah, blah, bug in the Library Report, blah, blah...

OK, so I failed to read the Library Report.  It clearly states:

> An implementation is entitled to assume the following laws about these operations: 
> 
>         range (l,u) !! index (l,u) i == i   -- when i is in range
>         inRange (l,u) i == i `elem` range (l,u)

So my "bug" is only in my mind.  Sorry for bothering everyone.

Regards,
Matt