diff options
Diffstat (limited to 'otherlibs/labltk/browser')
| -rw-r--r-- | otherlibs/labltk/browser/searchid.ml | 4 | ||||
| -rw-r--r-- | otherlibs/labltk/browser/searchpos.ml | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/otherlibs/labltk/browser/searchid.ml b/otherlibs/labltk/browser/searchid.ml index 01a2be2c8..206b735c2 100644 --- a/otherlibs/labltk/browser/searchid.ml +++ b/otherlibs/labltk/browser/searchid.ml @@ -228,9 +228,9 @@ let rec search_type_in_signature t ~sign ~prefix ~mode = end || begin match td.type_kind with Type_abstract -> false - | Type_variant(l, priv) -> + | Type_variant l -> List.exists l ~f:(fun (_, l) -> List.exists l ~f:matches) - | Type_record(l, rep, priv) -> + | Type_record(l, rep) -> List.exists l ~f:(fun (_, _, t) -> matches t) end then [lid_of_id id, Ptype] else [] diff --git a/otherlibs/labltk/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index e9c1ffad0..52d4c0b0d 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -165,11 +165,11 @@ let search_pos_type_decl td ~pos ~env = | None -> () end; let rec search_tkind = function - Ptype_abstract | Ptype_private -> () - | Ptype_variant (dl, _) -> + Ptype_abstract -> () + | Ptype_variant dl -> List.iter dl ~f:(fun (_, tl, _) -> List.iter tl ~f:(search_pos_type ~pos ~env)) - | Ptype_record (dl, _) -> + | Ptype_record dl -> List.iter dl ~f:(fun (_, _, t, _) -> search_pos_type t ~pos ~env) in search_tkind td.ptype_kind; List.iter td.ptype_cstrs ~f: |