report an error when detect a circle in alias dependency

butterunderflow · Aug 23, 2024 · 6f431e0 · 6f431e0
1 parent 2a93e01
commit 6f431e0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/lib/typing/util.ml b/lib/typing/util.ml
@@ -50,6 +50,9 @@ let reorg_ty_defs (defs : P.ty_def list) =
       | Some neighber when List.memq neighber alias_defs ->
           dfs graph cluster neighber
       | _ -> cluster)
+    else if List.memq node cluster then
+      (* Find a node in current cluster => dircle detected! *)
+      failwith "Find a circle in alias dependency"
     else cluster
   in
   let clusters =