From d79e1dee18d0bb93024db9a5d2dc3e12f619a698 Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Fri, 26 Jun 2026 11:55:31 +0200 Subject: [PATCH] fix(checker): change heterogeneous errors to warnings --- midas/checker/python.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/midas/checker/python.py b/midas/checker/python.py index 9c21372..3917e36 100644 --- a/midas/checker/python.py +++ b/midas/checker/python.py @@ -667,7 +667,7 @@ class PythonTyper( if len(item_types) == 1: item_type: Type = item_types[0] return self.types.apply_generic(list_type, [item_type]) - self.reporter.error( + self.reporter.warning( expr.location, f"Heterogeneous list items: [{', '.join(map(str, item_types))}]", ) @@ -699,7 +699,7 @@ class PythonTyper( if len(key_types) == 1: key_type = key_types[0] else: - self.reporter.error( + self.reporter.warning( expr.location, f"Heterogeneous dict keys: [{', '.join(map(str, key_types))}]", ) @@ -707,7 +707,7 @@ class PythonTyper( if len(value_types) == 1: value_type = value_types[0] else: - self.reporter.error( + self.reporter.warning( expr.location, f"Heterogeneous dict values: [{', '.join(map(str, value_types))}]", )