blob: eedde78417f1ea0e411747cd8bde779627c974bd (
plain)
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
;;
|
