summaryrefslogtreecommitdiff
path: root/testsuite/tests/match-exception-warnings/pr7083.ml
blob: cdf7f2af418720b817bdbba3a0268524470bfad3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
(* TEST
 expect;
*)

let f x =
  match x with
  | `A -> ()
  | exception Not_found -> ()
;;

[%%expect{|
val f : [< `A ] -> unit = <fun>
|}]