HEL/midas
1
0
Fork 0
Code Issues Pull Requests Releases Activity

fix(checker): change heterogeneous errors to warnings

Browse Source
This commit is contained in:
Louis Heredero
2026-06-26 11:55:31 +02:00
parent 5b0c5c01ad
commit fd0b410d74
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
midas/checker/python.py
View File

@@ -667,7 +667,7 @@ class PythonTyper(
if len(item_types) == 1: if len(item_types) == 1:
item_type: Type = item_types[0] item_type: Type = item_types[0]
return self.types.apply_generic(list_type, [item_type]) return self.types.apply_generic(list_type, [item_type])
self.reporter.error( self.reporter.warning(
expr.location, expr.location,
f"Heterogeneous list items: [{', '.join(map(str, item_types))}]", f"Heterogeneous list items: [{', '.join(map(str, item_types))}]",
) )
@@ -699,7 +699,7 @@ class PythonTyper(
if len(key_types) == 1: if len(key_types) == 1:
key_type = key_types[0] key_type = key_types[0]
else: else:
self.reporter.error( self.reporter.warning(
expr.location, expr.location,
f"Heterogeneous dict keys: [{', '.join(map(str, key_types))}]", f"Heterogeneous dict keys: [{', '.join(map(str, key_types))}]",
) )
@@ -707,7 +707,7 @@ class PythonTyper(
if len(value_types) == 1: if len(value_types) == 1:
value_type = value_types[0] value_type = value_types[0]
else: else:
self.reporter.error( self.reporter.warning(
expr.location, expr.location,
f"Heterogeneous dict values: [{', '.join(map(str, value_types))}]", f"Heterogeneous dict values: [{', '.join(map(str, value_types))}]",
) )