Replace getFTVsRec (uses expl info) with IsClosedForm in makeClosed

rise-lang · May 16, 2021 · 9d5f13d · 9d5f13d
1 parent 69e4d97
commit 9d5f13d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/rise/core/makeClosed.scala b/src/main/scala/rise/core/makeClosed.scala
@@ -11,7 +11,7 @@ object makeClosed {
       Map[AddressSpaceIdentifier, AddressSpace],
       Map[NatToDataIdentifier, NatToData]) = (Map(), Map(), Map(), Map())
 
-    val (expr, (ts, ns, as, n2ds)) = DSL.infer.getFTVsRec(e).foldLeft((e, emptySubs))((acc, ftv) => acc match {
+    val (expr, (ts, ns, as, n2ds)) = IsClosedForm.varsToClose(e)._2.foldLeft((e, emptySubs))((acc, ftv) => acc match {
       case (expr, (ts, ns, as, n2ds)) => ftv match {
         case i: TypeIdentifier =>
           val dt = DataTypeIdentifier(freshName("dt"), isExplicit = true)