diff options
Diffstat (limited to 'otherlibs/labltk/browser/searchpos.ml')
| -rw-r--r-- | otherlibs/labltk/browser/searchpos.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index cf4f009b3..4302ad002 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -127,7 +127,8 @@ let rec search_pos_type t ~pos ~env = | Ptyp_class (lid, tl, _) -> List.iter tl ~f:(search_pos_type ~pos ~env); add_found_sig (`Type, lid) ~env ~loc:t.ptyp_loc - | Ptyp_alias (t, _) -> search_pos_type ~pos ~env t + | Ptyp_alias (t, _) + | Ptyp_poly (_, t) -> search_pos_type ~pos ~env t end let rec search_pos_class_type cl ~pos ~env = |