forked from M-Labs/artiq
1
0
Fork 0

Allow also passing iterables to lists.

This commit is contained in:
whitequark 2015-06-26 19:14:24 +03:00
parent e07057c224
commit ea0d11b8be
2 changed files with 19 additions and 3 deletions

View File

@ -804,8 +804,7 @@ class Inferencer(algorithm.Visitor):
elif builtins.is_builtin(typ, "class list"):
valid_forms = lambda: [
valid_form("list() -> list(elt='a)"),
# TODO: add this form when adding iterators
# valid_form("list(x) -> list(elt='a)")
valid_form("list(x:'a) -> list(elt='b) where 'a is iterable")
]
self._unify(node.type, builtins.TList(),
@ -813,6 +812,20 @@ class Inferencer(algorithm.Visitor):
if len(node.args) == 0 and len(node.keywords) == 0:
pass # []
elif len(node.args) == 1 and len(node.keywords) == 0:
arg, = node.args
if builtins.is_iterable(arg.type):
pass
else:
note = diagnostic.Diagnostic("note",
"this expression has type {type}",
{"type": types.TypePrinter().name(arg.type)},
arg.loc)
diag = diagnostic.Diagnostic("error",
"the argument of list() must be of an iterable type", {},
node.func.loc, notes=[note])
self.engine.process(diag)
else:
diagnose(valid_forms())
elif builtins.is_builtin(typ, "function range"):
@ -854,7 +867,7 @@ class Inferencer(algorithm.Visitor):
if len(node.args) == 1 and len(node.keywords) == 0:
arg, = node.args
if builtins.is_list(arg.type) or builtins.is_range(arg.type):
if builtins.is_iterable(arg.type):
pass
else:
note = diagnostic.Diagnostic("note",

View File

@ -8,5 +8,8 @@ int(1.0, width=a)
# CHECK-L: ${LINE:+1}: error: the argument of len() must be of an iterable type
len(1)
# CHECK-L: ${LINE:+1}: error: the argument of list() must be of an iterable type
list(1)
# CHECK-L: ${LINE:+1}: error: an argument of range() must be of a numeric type
range([])