expands aliases inside recursive types, fixes bug referenced by pull …

…request #56
andremm · Mar 9, 2016 · 3688ce6 · 3688ce6
1 parent 3df4063
commit 3688ce6
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 12 deletions.
diff --git a/examples/issues/issue58.lua → examples/issues/issue58.tl b/examples/issues/issue58.lua → examples/issues/issue58.tl
diff --git a/examples/issues/pr56.tl b/examples/issues/pr56.tl
@@ -0,0 +1,15 @@
+interface ELEM
+   x: integer
+end
+
+interface OBJ
+   parent: OBJ?
+   atr: ELEM -- if I change ELEM to {"x":integer}, I no longer get an error
+end
+
+local function f(o:OBJ)
+   local parent = o.parent
+   if parent then
+      f({atr={x=2}}) -- isn't this structurally equivalent to OBJ?
+   end
+end
diff --git a/examples/issues/tlc.lua b/examples/issues/tlc.lua
diff --git a/typedlua/tlchecker.lua b/typedlua/tlchecker.lua
@@ -66,6 +66,7 @@ local function replace_names (env, t, pos, ignore)
     local r = tltype.Recursive(t[1], replace_names(env, t[2], pos, ignore))
     r.name = t.name
     ignore[t[1]] = link
+    return r
   elseif tltype.isLiteral(t) or
      tltype.isBase(t) or
      tltype.isNil(t) or