diff options
author | Florian Angeletti <florian.angeletti@inria.fr> | 2023-04-05 16:31:19 +0200 |
---|---|---|
committer | Florian Angeletti <florian.angeletti@inria.fr> | 2023-04-05 16:31:19 +0200 |
commit | 1aebfa1b1441119c6934e745e00970ff0adb3c5d (patch) | |
tree | 6ce1ace9e20b86ef670aa310cb6151cb9a64326e /parsing/depend.ml | |
parent | 12f812abcd46a818cd561e686210cec90edf0fec (diff) | |
download | ocaml-1aebfa1b1441119c6934e745e00970ff0adb3c5d.tar.gz |
Fix ocamldep after value binding parsetree change
Diffstat (limited to 'parsing/depend.ml')
-rw-r--r-- | parsing/depend.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/parsing/depend.ml b/parsing/depend.ml index a07cb1dce7..3b99854898 100644 --- a/parsing/depend.ml +++ b/parsing/depend.ml @@ -282,7 +282,11 @@ and add_case bv {pc_lhs; pc_guard; pc_rhs} = and add_bindings recf bv pel = let bv' = List.fold_left (fun bv x -> add_pattern bv x.pvb_pat) bv pel in let bv = if recf = Recursive then bv' else bv in - List.iter (fun x -> add_expr bv x.pvb_expr) pel; + let add_one_binding { pvb_pat= _ ; pvb_loc= _ ; pvb_constraint; pvb_expr } = + add_expr bv pvb_expr; + Option.iter (fun ct -> add_type bv ct.typ) pvb_constraint + in + List.iter add_one_binding pel; bv' and add_binding_op bv bv' pbop = |