blob: 57275f61809a1670799aa969ff9555d485033edd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
(* TEST *)
(**
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
;;
|