| ! It is the responsibility of the programmer to enforce bounds
| ! checking when required in non-derived instances of class @Ix@.
| ! An implementation is not required to check that an index
| ! lies within the bounds of an array when accessing that array.
|
| The above is fine by me, but here is a more concise wording, which may
| do as well.
|
| ! It is the responsibility of the programmer to enforce bounds
| ! checking in non-derived instances of class @Ix@, if it is desired.
|
| Cheers, -- P
This sounds fine to me. Maybe I should put bounds checks in the
Ix instance declarations for Integer, Int, and Char in PreludeCore.
--Joe
