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

fix(checker): only unfold alias on subtype

Browse Source
This commit is contained in:
Louis Heredero
2026-06-07 13:59:27 +02:00
parent c24eb5125e
commit 3e0dc60283
1 changed files with 3 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
midas/checker/checker.py
View File

@@ -178,13 +178,6 @@ class Checker(
stmts: list[m.Stmt] = parser.parse() stmts: list[m.Stmt] = parser.parse()
self.ctx.resolve(stmts) self.ctx.resolve(stmts)
def unfold_type(self, type: Type) -> Type:
match type:
case AliasType(type=ref_type):
return self.unfold_type(ref_type)
case _:
return type
def is_subtype(self, type1: Type, type2: Type) -> bool: def is_subtype(self, type1: Type, type2: Type) -> bool:
"""Check whether `type1` is a subtype of `type2` """Check whether `type1` is a subtype of `type2`
@@ -198,13 +191,13 @@ class Checker(
bool: whether `type1` is a subtype of `type2` bool: whether `type1` is a subtype of `type2`
""" """
type1 = self.unfold_type(type1)
type2 = self.unfold_type(type2)
if type1 == type2: if type1 == type2:
return True return True
match (type1, type2): match (type1, type2):
case (AliasType(type=base1), _):
return self.is_subtype(base1, type2)
case (BaseType(name=name1), BaseType(name=name2)): case (BaseType(name=name1), BaseType(name=name2)):
return name1 in BUILTIN_SUBTYPES.get(name2, set()) return name1 in BUILTIN_SUBTYPES.get(name2, set())