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

fix(checker): handle already defined predicates

Browse Source
This commit is contained in:
Louis Heredero
2026-07-10 11:20:39 +02:00
parent 3ede752cae
commit 4866ab2090
1 changed files with 12 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
midas/checker/midas.py
View File

@@ -207,6 +207,7 @@ class MidasTyper(m.Stmt.Visitor[None], m.Expr.Visitor[Type], m.Type.Visitor[Type
) )
def visit_predicate_stmt(self, stmt: m.PredicateStmt) -> None: def visit_predicate_stmt(self, stmt: m.PredicateStmt) -> None:
name: str = stmt.name.lexeme
for spec in stmt.params: for spec in stmt.params:
for param in spec.mixed: for param in spec.mixed:
assert param.name is not None assert param.name is not None
@@ -228,14 +229,17 @@ class MidasTyper(m.Stmt.Visitor[None], m.Expr.Visitor[Type], m.Type.Visitor[Type
returns=type, returns=type,
) )
self._predicate_params = {} self._predicate_params = {}
try:
self.types.define_predicate( self.types.define_predicate(
stmt.name.lexeme, name,
Predicate( Predicate(
type=type, type=type,
body=stmt.body, body=stmt.body,
alias=len(params) == 0, alias=len(params) == 0,
), ),
) )
except ValueError:
self.reporter.error(stmt.location, f"Predicate {name} already defined")
def _is_valid_predicate(self, body: Type) -> bool: def _is_valid_predicate(self, body: Type) -> bool:
"""Check whether the given type is valid as a predicate's body """Check whether the given type is valid as a predicate's body