Skip to content

Commit

Permalink
Fix type of Call.
Browse files Browse the repository at this point in the history
whitequark committed Jun 15, 2015
1 parent 8c5e58f commit 3adb415
Showing 2 changed files with 4 additions and 0 deletions.
3 changes: 3 additions & 0 deletions artiq/py2llvm/typing.py
Original file line number Diff line number Diff line change
@@ -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)
1 change: 1 addition & 0 deletions lit-test/py2llvm/typing/gcd.py
Original file line number Diff line number Diff line change
@@ -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)

0 comments on commit 3adb415

Please sign in to comment.