diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/depend.ml | 1 | ||||
| -rw-r--r-- | tools/ocamlprof.ml | 1 | ||||
| -rw-r--r-- | tools/untypeast.ml | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/tools/depend.ml b/tools/depend.ml index 4c5e020c3..aa2c51839 100644 --- a/tools/depend.ml +++ b/tools/depend.ml @@ -318,6 +318,7 @@ and add_class_expr bv ce = let bv = add_bindings rf bv pel in add_class_expr bv ce | Pcl_constraint(ce, ct) -> add_class_expr bv ce; add_class_type bv ct + | Pcl_extension _ -> () and add_class_field bv pcf = match pcf.pcf_desc with diff --git a/tools/ocamlprof.ml b/tools/ocamlprof.ml index d2f169a34..19b9dca38 100644 --- a/tools/ocamlprof.ml +++ b/tools/ocamlprof.ml @@ -347,6 +347,7 @@ and rewrite_class_expr iflag cexpr = rewrite_class_expr iflag cexpr | Pcl_constraint (cexpr, _) -> rewrite_class_expr iflag cexpr + | Pcl_extension _ -> () and rewrite_class_declaration iflag cl = rewrite_class_expr iflag cl.pci_expr diff --git a/tools/untypeast.ml b/tools/untypeast.ml index d6a08c04d..4e92f8de2 100644 --- a/tools/untypeast.ml +++ b/tools/untypeast.ml @@ -444,6 +444,7 @@ and untype_class_expr cexpr = in { pcl_desc = desc; pcl_loc = cexpr.cl_loc; + pcl_attributes = cexpr.cl_attributes; } and untype_class_type ct = |