From c739a33080f0f872030392d824dd0733c53936d4 Mon Sep 17 00:00:00 2001 From: Emilien Bauer Date: Thu, 25 Jan 2024 10:32:39 +0000 Subject: [PATCH] more strict zipping. --- xdsl/irdl/declarative_assembly_format_parser.py | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/xdsl/irdl/declarative_assembly_format_parser.py b/xdsl/irdl/declarative_assembly_format_parser.py index c91f5082fc..4b4dd2912a 100644 --- a/xdsl/irdl/declarative_assembly_format_parser.py +++ b/xdsl/irdl/declarative_assembly_format_parser.py @@ -142,7 +142,12 @@ def verify_operands(self, seen_variables: set[str]): seen_operand, seen_operand_type, (operand_name, operand_def), - ) in zip(self.seen_operands, self.seen_operand_types, self.op_def.operands): + ) in zip( + self.seen_operands, + self.seen_operand_types, + self.op_def.operands, + strict=True, + ): if not seen_operand: self.raise_error( f"operand '{operand_name}' " @@ -162,7 +167,7 @@ def verify_results(self, seen_variables: set[str]): from another construct.""" for result_type, (result_name, result_def) in zip( - self.seen_result_types, self.op_def.results + self.seen_result_types, self.op_def.results, strict=True ): if not result_type: if not result_def.constr.can_infer(seen_variables):