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

fix(checker): change back warning to errors

Browse Source
This commit is contained in:
Louis Heredero
2026-06-19 22:12:47 +02:00
parent 0aba134290
commit 3205e7b961
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
midas/checker/midas.py
View File

@@ -135,8 +135,7 @@ class MidasTyper(m.Stmt.Visitor[None], m.Expr.Visitor[Type], m.Type.Visitor[Type
def assert_bool(self, expr: m.Expr):
type: Type = self.type_of(expr)
if not self.types.is_subtype(type, self._bool):
# TODO: change back to error when operations are type checked
self.reporter.warning(expr.location, f"Must be a boolean but is {type}")
self.reporter.error(expr.location, f"Must be a boolean but is {type}")
def visit_type_stmt(self, stmt: m.TypeStmt) -> None:
name: str = stmt.name.lexeme
@@ -183,8 +182,7 @@ class MidasTyper(m.Stmt.Visitor[None], m.Expr.Visitor[Type], m.Type.Visitor[Type
]
if not self._is_valid_predicate(type):
# TODO: change back to error when operations are type checked
self.reporter.warning(
self.reporter.error(
stmt.body.location,
f"Predicate function body must evaluate to a boolean, got {type}",
)