From 551941392eeb4a9dc0f65138c7652be251adb33a Mon Sep 17 00:00:00 2001 From: microproofs Date: Wed, 31 Jan 2024 00:05:09 -0500 Subject: [PATCH] fix: assert had one minor edge case due to final clauses with lists --- crates/aiken-lang/src/gen_uplc/builder.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/aiken-lang/src/gen_uplc/builder.rs b/crates/aiken-lang/src/gen_uplc/builder.rs index 25538724..ee1f6656 100644 --- a/crates/aiken-lang/src/gen_uplc/builder.rs +++ b/crates/aiken-lang/src/gen_uplc/builder.rs @@ -1530,8 +1530,8 @@ pub fn list_access_to_uplc( error_term: Term, ) -> Term { let names_len = names_types_ids.len(); - // Should never be expect level none on a list - assert!(!(matches!(expect_level, ExpectLevel::None) && is_list_accessor)); + // Should never be expect level none on a list without a tail + assert!(!(matches!(expect_level, ExpectLevel::None) && is_list_accessor && !tail_present)); let mut no_tailing_discards = names_types_ids .iter()