Skip to content

Commit 0bad100

Browse files
committed
List missing pattern cases.
1 parent bddb87b commit 0bad100

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

analysis/src/ProcessCmt.ml

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -314,7 +314,7 @@ let rec forItem ~env ~(exported : exported) item =
314314
let rec handlePattern attributes pat =
315315
match pat.pat_desc with
316316
| Tpat_var (ident, name)
317-
| Tpat_alias ({pat_desc = Tpat_any}, ident, name) (* let x : t = ... *) ->
317+
| Tpat_alias (_, ident, name) (* let x : t = ... *) ->
318318
let item = pat.pat_type in
319319
let declared =
320320
addItem ~name ~stamp:(Ident.binding_time ident) ~env
@@ -328,7 +328,10 @@ let rec forItem ~env ~(exported : exported) item =
328328
| Tpat_record (items, _) ->
329329
items |> List.iter (fun (_, _, p) -> handlePattern [] p)
330330
| Tpat_lazy p -> handlePattern [] p
331-
| _ -> ()
331+
| Tpat_any | Tpat_constant _
332+
| Tpat_construct (_, _, _)
333+
| Tpat_variant (_, _, _) ->
334+
()
332335
in
333336
List.iter
334337
(fun {vb_pat; vb_attributes} -> handlePattern vb_attributes vb_pat)

0 commit comments

Comments
 (0)