OCaml: при обнаружении исключения цикл for должен просто проигнорировать его и продолжить, не выбрасывая меня

Когда я компилирую это, я получаю:

Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 9.5)

Ну, вы проигнорировали это, поэтому, когда я запускаю его, я получаю:

worksworksworksException: Invalid_argument "index out of bounds".

"Index out of bounds" не то же самое, что "index out of bounds". Вы ловите неправильные исключения.

Госвин прав в отношении несоответствия регистра при сопоставлении с исключением. У вас также есть ненужные точки с запятой в вашем коде, поскольку вы не связываете несколько выражений вместе.

for i = 0 to 10 do
  for j = 0 to 10 do
    try 
      if matrix.(i).(j) = true then 
        print_string "works"
    with
    | Invalid_argument _ -> ()
  done
done

Также обратите внимание, что в OCaml 4.02 и более поздних версиях мы можем обрабатывать исключения непосредственно в match, поэтому этот код может быть выражен как:

for i = 0 to 10 do
  for j = 0 to 10 do
    match matrix.(i).(j) with 
    | true -> print_string "works"
    | false | exception Invalid_argument _ -> ()
  done
done

Если вы хотите вообще избежать обработки исключений, вы можете просто проверить границы.

let height = Array.length matrix in
for i = 0 to (min 10 (height - 1)) do
  let width = Array.length matrix.(i) in
  for j = 0 to (min 10 (width - 1)) do
    if matrix.(i).(j) then 
      print_string "works" 
  done
done

Как правило, исключения Invalid_argument _ не должны ни перехватываться, ни сопоставляться. Эти исключения считаются ошибками программирования, которых следует избегать до того, как они произойдут. В данном конкретном случае это означает проверку того, что индексы находятся в пределах границ матрицы перед их использованием.

Например:

for i = 0 to 10 do
  for j = 0 to 10 do
    if i < Array.length matrix && i >= 0
    && j < Array.length matrix.(i) && j >= 0
    && a.(i).(j)
    then print_string "works"
  done
done

Также можно определить оператор доступа к матрице, который возвращает тип параметра, чтобы факторизовать проверку привязки вне цикла:

let (.?()) a (i,j) =
  if i < Array.length a && i >= 0
  && j < Array.length a.(i) && j >=0
  then
    Some (Array.unsafe_get (Array.unsafe_get a i) j)
  else None

for i = 0 to 10 do
  for j = 0 to 10 do
    match matrix.?(i,j) with
    | None | Some false -> ()
    | Some true -> print_string "work"
  done
done