Fix type of Call.

whitequark · whitequark · commit 3adb4150f4ea · 2015-06-15T17:16:44.000+03:00
diff --git a/artiq/py2llvm/typing.py b/artiq/py2llvm/typing.py
@@ -788,6 +788,9 @@ def visit_CallT(self, node):
                 self.engine.process(diag)
                 return
 
+        self._unify(node.type, typ.ret,
+                    node.loc, None)
+
     def visit_LambdaT(self, node):
         self.generic_visit(node)
         signature_type = self._type_from_arguments(node.args, node.body.type)
diff --git a/lit-test/py2llvm/typing/gcd.py b/lit-test/py2llvm/typing/gcd.py
@@ -9,4 +9,5 @@ def _gcd(a, b):
         b = c
     return b
 
+# CHECK-L: _gcd:(a:int(width='a), b:int(width='a))->int(width='a)(10:int(width='a), 25:int(width='a)):int(width='a)
 _gcd(10, 25)
