testsuite/tests/match-exception/exception_propagation.ml


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

(**
   Test that match allows exceptions to propagate.
*)
let () =
  try
    match 
      (let _ = raise Not_found in
       assert false)
    with
    | _ -> assert false
    | exception Invalid_argument _ -> assert false
  with
    Not_found ->
      print_endline "caught expected exception (Not_found)"
  | _ ->
    assert false
;;