From cc56ce484b89890cd08fd77c1dd17682834134b8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= Date: Tue, 26 Sep 2023 17:53:38 +0200 Subject: [PATCH] Cleaner fix for looping alias scraping --- src/analysis/locate.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/analysis/locate.ml b/src/analysis/locate.ml index d3b90be090..b28029f66b 100644 --- a/src/analysis/locate.ml +++ b/src/analysis/locate.ml @@ -328,7 +328,8 @@ let scrape_alias ~env ~fallback_uid ~namespace path = match find_type_and_uid ~env ~namespace path with | Mty_alias path, fallback_uid -> non_alias_declaration_uid ~fallback_uid path - | Mty_ident alias_path, fallback_uid when not (Path.same path alias_path) -> + | Mty_ident alias_path, fallback_uid + when namespace = Shape.Sig_component_kind.Module_type -> (* This case is necessary to traverse module type aliases *) non_alias_declaration_uid ~fallback_uid alias_path | _, md_uid -> md_uid