summaryrefslogtreecommitdiff
path: root/testsuite/tests/match-exception-warnings/pr7083.ml
blob: cf8ddd642decad232fa2b520201fb93ffcb9a314 (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>
|}]