> Currently, the report says nothing about whether an instance
> of Ix should perform bounds checking, or whether this is done
> automatically by the implementation.
>
> My proposal was to say that it should be in the instance
> declaration, which gives the user a variety of options as to
> how to
Joe asks for clarification.
Currently, the report says nothing about whether an instance
of Ix should perform bounds checking, or whether this is done
automatically by the implementation.
My proposal was to say that it should be in the instance
declaration, which gives the user a variety of opti
! 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 co
| ! 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 i
