Cleaner fix for looping alias scraping

voodoos · Sep 26, 2023 · a335fff · a335fff
1 parent b39a80a
commit a335fff
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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