On Thu, 20 Nov 2008 21:56:32 -0500, Eliot Handelman wrote:
> 
> let test i  =
>    try
>         [||].(i)
>    with 
>      Invalid_argument "index out of bounds" -> raise (Array_access i)
> 
> 
> The problem is that this test is dependent on a literal string match of
> "index out of bounds." If
> I accidentally write something like "index  out out bounds" (an extra
> space between index & out)

These strings are for user information, you should write

  let test i  =
     try
          [||].(i)
     with 
       Invalid_argument _ -> raise (Array_access i)

IMHO, in this case, you should rather make sure you do not perform
accesses outside the array bounds.

Cheers,
ChriS