--- a/bisect_ppx.opam 2022-03-14 01:39:55.000000000 -0600
+++ b/bisect_ppx.opam 2022-10-31 16:00:04.872636083 -0600
@@ -22,7 +22,7 @@ depends: [
"cmdliner" {>= "1.0.0"}
"dune" {>= "2.7.0"}
"ocaml" {>= "4.03.0"}
- "ppxlib" {>= "0.21.0"}
+ "ppxlib" {>= "0.26.0"}
"ocamlformat" {with-test & = "0.16.0"}
]
--- a/src/ppx/instrument.ml 2022-03-14 01:39:55.000000000 -0600
+++ b/src/ppx/instrument.ml 2022-10-31 16:01:28.486756629 -0600
@@ -490,10 +490,10 @@ struct
|> List.map (fun (location_trace, p'') ->
(location_trace, Pat.alias ~loc ~attrs p'' x))
- | Ppat_construct (c, Some p') ->
+ | Ppat_construct (c, Some (exnames, p')) ->
recur ~enclosing_loc p'
|> List.map (fun (location_trace, p'') ->
- (location_trace, Pat.construct ~loc ~attrs c (Some p'')))
+ (location_trace, Pat.mk ~loc ~attrs Pat.(Ppat_construct (c, Some(exnames, p'')))))
| Ppat_variant (c, Some p') ->
recur ~enclosing_loc p'
@@ -708,7 +708,7 @@ struct
List.map (fun (_, p') -> bound_variables p') fields
|> List.flatten
- | Ppat_construct (_, Some p') | Ppat_variant (_, Some p')
+ | Ppat_construct (_, Some (_, p')) | Ppat_variant (_, Some p')
| Ppat_constraint (p', _) | Ppat_lazy p' | Ppat_exception p'
| Ppat_open (_, p') ->
bound_variables p'
@@ -725,7 +725,7 @@ struct
| Ppat_type _ | Ppat_variant _ ->
true
- | Ppat_alias (p', _) | Ppat_construct (_, Some p')
+ | Ppat_alias (p', _) | Ppat_construct (_, Some (_, p'))
| Ppat_constraint (p', _) | Ppat_lazy p' | Ppat_exception p'
| Ppat_open (_, p') ->
has_polymorphic_variant p'