diff options
Diffstat (limited to 'otherlibs/labltk/browser')
| -rw-r--r-- | otherlibs/labltk/browser/searchid.ml | 2 | ||||
| -rw-r--r-- | otherlibs/labltk/browser/searchpos.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/searchid.ml b/otherlibs/labltk/browser/searchid.ml index 507219225..2784d22d7 100644 --- a/otherlibs/labltk/browser/searchid.ml +++ b/otherlibs/labltk/browser/searchid.ml @@ -232,7 +232,7 @@ let rec search_type_in_signature t ~sign ~prefix ~mode = List.exists l ~f:(fun (_, l) -> List.exists l ~f:matches) | Type_record(l, rep) -> List.exists l ~f:(fun (_, _, t) -> matches t) - | Type_virtual tkind -> search_tkind tkind in + | Type_private tkind -> search_tkind tkind in search_tkind td.type_kind then [lid_of_id id, Ptype] else [] | Tsig_exception (id, l) -> diff --git a/otherlibs/labltk/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index 8904c406d..3e6778628 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -172,7 +172,7 @@ let search_pos_type_decl td ~pos ~env = ~f:(fun (_, tl) -> List.iter tl ~f:(search_pos_type ~pos ~env)) | Ptype_record dl -> List.iter dl ~f:(fun (_, _, t) -> search_pos_type t ~pos ~env) - | Ptype_virtual tkind -> search_tkind tkind in + | Ptype_private tkind -> search_tkind tkind in search_tkind td.ptype_kind; List.iter td.ptype_cstrs ~f: begin fun (t1, t2, _) -> |