Fix bug.

StanzaOrg · May 20, 2024 · bb63a53 · bb63a53
1 parent cfbae2b
commit bb63a53
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tests/type-reader.stanza b/tests/type-reader.stanza
@@ -117,7 +117,8 @@ defn resolve (prog:TestTypeProgram) -> TestTypeProgram :
         val n = match(lookup?(scope,name(t))) :
           (n:Int) : n
           (f:False) : make-id(scope,name(t))
-        TUVar(n, MixBound(types(t)))
+        val types* = map({resolve(_, scope) as TArrow}, types(t))
+        TUVar(n, MixBound(types*))
       (t:TCap) :
         val n = lookup(scope, name(t) as Symbol)
         TCap(n, name(t))