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

fix(checker): use reduce_types to infer return type

Browse Source
This commit is contained in:
Louis Heredero
2026-06-09 08:05:31 +02:00
parent fc67f01f34
commit a4f5db7ece
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

@@ -204,13 +204,13 @@ class PythonTyper(
inferred_return: Type = UnknownType() inferred_return: Type = UnknownType()
if not returned: if not returned:
env.return_types.append(UnitType()) env.return_types.append(UnitType())
return_types: set[Type] = set(env.return_types) return_types: list[Type] = self.types.reduce_types(env.return_types)
if len(return_types) == 1: if len(return_types) == 1:
inferred_return = list(return_types)[0] inferred_return = return_types[0]
elif len(return_types) > 1: elif len(return_types) > 1:
self.reporter.error( self.reporter.error(
stmt.location, stmt.location,
f"Mixed return types: {env.return_types}", f"Mixed return types: {return_types}",
) )
returns: Type = UnknownType() returns: Type = UnknownType()