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

chore: tidy

Browse Source
This commit is contained in:
Louis Heredero
2026-06-02 11:45:49 +02:00
parent 7f3d74ee49
commit 35ceda99aa
2 changed files with 9 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
midas/checker/checker.py
View File

@@ -9,7 +9,7 @@ from midas.ast.location import Location
from midas.checker.diagnostic import Diagnostic, DiagnosticType from midas.checker.diagnostic import Diagnostic, DiagnosticType
from midas.checker.environment import Environment from midas.checker.environment import Environment
from midas.checker.operators import COMPARATOR_METHODS, OPERATOR_METHODS from midas.checker.operators import COMPARATOR_METHODS, OPERATOR_METHODS
from midas.checker.types import BaseType, Function, SimpleType, Type, UnitType, UnknownType from midas.checker.types import Function, Type, UnitType, UnknownType
from midas.lexer.midas import MidasLexer from midas.lexer.midas import MidasLexer
from midas.lexer.token import Token from midas.lexer.token import Token
from midas.parser.midas import MidasParser from midas.parser.midas import MidasParser
@@ -91,7 +91,7 @@ class Checker(
Args: Args:
block (list[p.Stmt]): the statements to evaluate block (list[p.Stmt]): the statements to evaluate
env (Environment): the environment in which to evaluate env (Environment): the environment in which to evaluate
Returns: Returns:
bool: whether a return statement is present in the block bool: whether a return statement is present in the block
""" """
@@ -223,7 +223,7 @@ class Checker(
for arg in pos_args + args + kw_args: for arg in pos_args + args + kw_args:
env.define(arg.name, arg.type) env.define(arg.name, arg.type)
returns_hint: Optional[Type] = None returns_hint: Optional[Type] = None
if stmt.returns is not None: if stmt.returns is not None:
returns_hint = stmt.returns.accept(self) returns_hint = stmt.returns.accept(self)
@@ -417,7 +417,10 @@ class Checker(
true_type: Type = expr.if_true.accept(self) true_type: Type = expr.if_true.accept(self)
false_type: Type = expr.if_false.accept(self) false_type: Type = expr.if_false.accept(self)
if true_type != false_type: if true_type != false_type:
self.error(expr.location, f"Type mismatch in ternary if branches: true={true_type} != false={false_type}") self.error(
expr.location,
f"Type mismatch in ternary if branches: true={true_type} != false={false_type}",
)
return UnknownType() return UnknownType()
return true_type return true_type

3
midas/resolver/builtin.py
View File

@@ -16,6 +16,7 @@ def op(ctx: MidasResolver, t1: Type, operator: str, t2: Type, t3: Type):
result=t3, result=t3,
) )
def basic_op(ctx: MidasResolver, type: Type, op: str): def basic_op(ctx: MidasResolver, type: Type, op: str):
ctx.define_operation( ctx.define_operation(
left=type, left=type,
@@ -68,4 +69,4 @@ def define_builtins(ctx: MidasResolver):
op(ctx, float, "__gt__", int, bool) # float > int = bool op(ctx, float, "__gt__", int, bool) # float > int = bool
op(ctx, float, "__le__", int, bool) # float <= int = bool op(ctx, float, "__le__", int, bool) # float <= int = bool
op(ctx, float, "__ge__", int, bool) # float >= int = bool op(ctx, float, "__ge__", int, bool) # float >= int = bool
op(ctx, float, "__eq__", int, bool) # float == int = bool op(ctx, float, "__eq__", int, bool) # float == int = bool