fix how to detect cyclic dependency between type definitions (2)

gfngfn · Jul 14, 2019 · 900962e · 900962e
1 parent c894314
commit 900962e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/frontend/typeenv.ml b/src/frontend/typeenv.ml
@@ -838,8 +838,8 @@ let rec add_mutual_cons (tyenv : t) (lev : level) (mutvarntcons : untyped_mutual
             else
               List.iter iter mtyarglist
 
-        | MTypeName(_, mdlnmlst, tynm) ->
-            ()
+        | MTypeName(mtyarglist, mdlnmlst, tynm) ->
+            List.iter iter mtyarglist
     in
     let iter = add_each_dependency_as_edge in
       match mutvarntcons with