diff options
Diffstat (limited to 'otherlibs/labltk/browser/searchpos.ml')
| -rw-r--r-- | otherlibs/labltk/browser/searchpos.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/otherlibs/labltk/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index 6f2657fa1..614f62cef 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -207,6 +207,8 @@ let rec search_pos_signature l ~pos ~env = add_found_sig (`Type, Lident "exn") ~env ~loc:pt.psig_loc | Psig_module (_, t) -> search_pos_module t ~pos ~env + | Psig_recmodule decls -> + assert false (* to be fixed *) | Psig_modtype (_, Pmodtype_manifest t) -> search_pos_module t ~pos ~env | Psig_modtype _ -> () @@ -664,6 +666,7 @@ let rec search_pos_structure ~pos str = | Tstr_exception _ -> () | Tstr_exn_rebind(_, _) -> () | Tstr_module (_, m) -> search_pos_module_expr m ~pos + | Tstr_recmodule bindings -> assert false (* to be fixed *) | Tstr_modtype _ -> () | Tstr_open _ -> () | Tstr_class l -> |