From 80b950b8aa224e8f6a8c4afc1784d0ca5c688a49 Mon Sep 17 00:00:00 2001 From: microproofs Date: Sat, 29 Jul 2023 15:28:22 -0400 Subject: [PATCH] fix edge case with assign and pattern matching --- crates/aiken-lang/src/gen_uplc/builder.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/crates/aiken-lang/src/gen_uplc/builder.rs b/crates/aiken-lang/src/gen_uplc/builder.rs index 52718641..1f2bb2b4 100644 --- a/crates/aiken-lang/src/gen_uplc/builder.rs +++ b/crates/aiken-lang/src/gen_uplc/builder.rs @@ -622,7 +622,8 @@ pub fn pattern_has_conditions(pattern: &TypedPattern) -> bool { } => arguments .iter() .any(|arg| pattern_has_conditions(&arg.value)), - Pattern::Var { .. } | Pattern::Discard { .. } | Pattern::Assign { .. } => false, + Pattern::Assign { pattern, .. } => pattern_has_conditions(pattern), + Pattern::Var { .. } | Pattern::Discard { .. } => false, } }