From 6ca2c454de3b056465cdb17b36c379d0d553b775 Mon Sep 17 00:00:00 2001 From: Adam Chidlow Date: Fri, 24 May 2024 16:44:44 +0800 Subject: [PATCH] fix: fix bug with inner-transaction-containing tuple detection --- src/puya/awst/wtypes.py | 2 +- test_cases/typed_abi_call/puya.log | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/src/puya/awst/wtypes.py b/src/puya/awst/wtypes.py index 7f1b99248..5dcd4876f 100644 --- a/src/puya/awst/wtypes.py +++ b/src/puya/awst/wtypes.py @@ -524,7 +524,7 @@ def is_inner_transaction_type(wtype: WType) -> typing.TypeGuard[WInnerTransactio def is_inner_transaction_tuple_type(wtype: WType) -> typing.TypeGuard[WTuple]: - return isinstance(wtype, WTuple) and all(is_inner_transaction_type(t) for t in wtype.types) + return isinstance(wtype, WTuple) and any(is_inner_transaction_type(t) for t in wtype.types) def is_inner_transaction_field_type(wtype: WType) -> typing.TypeGuard[WInnerTransactionFields]: diff --git a/test_cases/typed_abi_call/puya.log b/test_cases/typed_abi_call/puya.log index 227f67290..7904bd818 100644 --- a/test_cases/typed_abi_call/puya.log +++ b/test_cases/typed_abi_call/puya.log @@ -1,6 +1,5 @@ debug: PuyaOptions(paths=['typed_abi_call'], output_teal=True, output_arc32=True, output_client=True, output_awst=True, output_ssa_ir=True, output_optimization_ir=True, output_destructured_ir=True, output_memory_ir=True, debug_level=1, optimization_level=1, log_level=, target_avm_version=10, locals_coalescing_strategy=) info: Found python prefix: /.venv -typed_abi_call/typed_c2c.py:33:9 warning: expression result is ignored debug: Sealing block@0: // L11 debug: Terminated block@0: // L11 debug: Looking for 'required_budget_with_buffer' in an unsealed block creating an incomplete Phi: block@1: // while_top_L19