testsuite/tests/match-exception/raise_from_success_continuation.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

(* TEST *)

(**
  Test raising exceptions from a value-matching branch.
*)
let test_raise_from_val_handler =
  let () = print_endline "test raise from val handler" in
  let g () = List.find ((=)2) [1;2;4] in
  let h () =
    match
      g ()
    with exception _ -> 10
    | _ -> raise Not_found
  in
  assert ((try h () with Not_found -> 20) = 20);
  print_endline "raise from val handler succeeded"
;;