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

feat(checker): record type judgements

Browse Source
This commit is contained in:
Louis Heredero
2026-06-06 16:25:33 +02:00
parent 82a0f13242
commit 1c30188122
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
midas/checker/checker.py
View File

@@ -48,6 +48,7 @@ class Checker(
self.env: Environment = self.global_env self.env: Environment = self.global_env
self.locals: dict[p.Expr, int] = locals self.locals: dict[p.Expr, int] = locals
self.diagnostics: list[Diagnostic] = [] self.diagnostics: list[Diagnostic] = []
self.judgements: list[tuple[p.Expr, Type]] = []
def diagnostic(self, type: DiagnosticType, location: Location, message: str): def diagnostic(self, type: DiagnosticType, location: Location, message: str):
self.diagnostics.append( self.diagnostics.append(
@@ -89,7 +90,9 @@ class Checker(
Returns: Returns:
Type: the type of the given expression Type: the type of the given expression
""" """
return expr.accept(self) type: Type = expr.accept(self)
self.judgements.append((expr, type))
return type
def process_block(self, block: list[p.Stmt], env: Environment) -> bool: def process_block(self, block: list[p.Stmt], env: Environment) -> bool:
"""Evaluate a sequence of statements """Evaluate a sequence of statements