From b40964a379a4cba3a2e69b943f0bb3eede1a7aef Mon Sep 17 00:00:00 2001 From: Florian Angeletti Date: Tue, 27 Nov 2018 13:19:32 +0100 Subject: [PATCH] ppx: (_:ty) is a catch-all case too (#640) --- src/ppx/ppx_lwt.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ppx/ppx_lwt.ml b/src/ppx/ppx_lwt.ml index f9d088dc2d..2c4b3be844 100644 --- a/src/ppx/ppx_lwt.ml +++ b/src/ppx/ppx_lwt.ml @@ -19,7 +19,7 @@ let def_loc txt = let is_catchall case = let rec is_catchall_pat p = match p.ppat_desc with | Ppat_any | Ppat_var _ -> true - | Ppat_alias (p, _) -> is_catchall_pat p + | Ppat_alias (p, _) | Ppat_constraint (p,_) -> is_catchall_pat p | _ -> false in case.pc_guard = None && is_catchall_pat case.pc_lhs