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