M-Labs/artiq
2
0
Fork 2
mirror of https://github.com/m-labs/artiq.git synced 2025-01-09 10:33:35 +08:00
Code Issues Projects Releases Wiki Activity

transforms.inferencer: allow variable as type of n in []*n.

Browse Source 
Fixes #473.
This commit is contained in:
whitequark 2016-06-16 13:32:14 +00:00 committed by Sebastien Bourdeauducq
parent 3589528362
commit 770dda6fd7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
artiq/compiler/transforms/inferencer.py
View File

@ -407,7 +407,7 @@ class Inferencer(algorithm.Visitor):
return return
elif builtins.is_list(left.type) or builtins.is_list(right.type): elif builtins.is_list(left.type) or builtins.is_list(right.type):
list_, other = self._order_by_pred(builtins.is_list, left, right) list_, other = self._order_by_pred(builtins.is_list, left, right)
if not builtins.is_int(other.type): if not builtins.is_int(other.type) and not types.is_var(other.type):
printer = types.TypePrinter() printer = types.TypePrinter()
note1 = diagnostic.Diagnostic("note", note1 = diagnostic.Diagnostic("note",
"list operand of type {typea}", "list operand of type {typea}",