From 82af80cd7f24cc5a76b0ae42ee609106f8a5b4da Mon Sep 17 00:00:00 2001 From: Agustin Borgna Date: Thu, 8 Aug 2024 15:24:12 +0100 Subject: [PATCH] fix: Fix invalid result operation name --- guppylang/compiler/expr_compiler.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/guppylang/compiler/expr_compiler.py b/guppylang/compiler/expr_compiler.py index c081fa9b..362ba21b 100644 --- a/guppylang/compiler/expr_compiler.py +++ b/guppylang/compiler/expr_compiler.py @@ -302,8 +302,8 @@ def visit_ResultExpr(self, node: ResultExpr) -> OutPortV: ConstArg(ConstValue(value=node.tag, ty=NumericType(NumericType.Kind.Nat))), ] op = ops.CustomOp( - extension="tket2.results", - name="Result", + extension="tket2.result", + name="result_uint", args=[arg.to_hugr() for arg in type_args], parent=UNDEFINED, )