From 5623bebe345cc1d04ea6a5e66991d2713f2d290d Mon Sep 17 00:00:00 2001 From: Antoine Viallon Date: Fri, 12 Apr 2024 16:48:15 +0200 Subject: [PATCH] interpreter: make linter happier --- compiler/interpreter/virtual_machine.py | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/compiler/interpreter/virtual_machine.py b/compiler/interpreter/virtual_machine.py index 12fb7c0..073464d 100644 --- a/compiler/interpreter/virtual_machine.py +++ b/compiler/interpreter/virtual_machine.py @@ -137,10 +137,11 @@ class VirtualMachine: def execute_one(self, instruction: ir.IRAction): match type(instruction): case ir.IRAdd | ir.IRMul | ir.IRDiv | ir.IRInvert | ir.IRNegation: - _operation = operations.get(instruction.__class__, + ins: ir.IRAdd | ir.IRMul = typing.cast(ir.IRAdd | ir.IRMul, instruction) + + _operation = operations.get(ins.__class__, lambda _: None) - # noinspection PyTypeChecker - ins: ir.IRAdd | ir.IRMul = instruction + pprinted_input_values = self.pprint_values(ins.reads) values = list(self.get_values(ins.reads)) @@ -160,8 +161,7 @@ class VirtualMachine: f"\t{_operation.__name__}: {pprinted_input_values} = {hex(result)} : store into {ins.dest.codegen()}") case ir.IRMove: - # noinspection PyTypeChecker - ins: ir.IRMove = instruction + ins: ir.IRMove = typing.cast(ir.IRMove, instruction) pprinted_input_value = self.pprint_values((ins.source,)) @@ -170,7 +170,7 @@ class VirtualMachine: logger.debug(f"\tmove: {pprinted_input_value} : store into {ins.dest.codegen()}") case ir.IRCall: - ins: ir.IRCall = instruction + ins: ir.IRCall = typing.cast(ir.IRCall, instruction) logger.debug( f"\tFully-qualified function: {ins.function.fq_identifier}, location: {ins.function.location}")