From c541ef691812706b867b5c6d692b65f63b8b2562 Mon Sep 17 00:00:00 2001 From: Niols Date: Thu, 17 Feb 2022 23:20:37 +0100 Subject: [PATCH] use metaquot in exception pattern --- src/lib/expander/matchExpander.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/expander/matchExpander.ml b/src/lib/expander/matchExpander.ml index cf7ef7a..674df6a 100644 --- a/src/lib/expander/matchExpander.ml +++ b/src/lib/expander/matchExpander.ml @@ -39,7 +39,7 @@ let mk_with_exception List.map (fun case -> match case with - | { pc_lhs = { ppat_desc = Ppat_exception pc_lhs; _ }; _ } -> + | { pc_lhs = [%pat? exception [%p? pc_lhs]]; _ } -> { case with pc_lhs } | _ -> assert false) exception_cases