From 6440c4f4980a08efd9f719db78a2bc06b461f7e7 Mon Sep 17 00:00:00 2001 From: rvcas Date: Thu, 9 Mar 2023 19:30:52 -0500 Subject: [PATCH] fix(codegen): tuple pattern scopes Co-authored-by: Kasey White --- crates/aiken-lang/src/uplc.rs | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/crates/aiken-lang/src/uplc.rs b/crates/aiken-lang/src/uplc.rs index 96efc39a..58e48442 100644 --- a/crates/aiken-lang/src/uplc.rs +++ b/crates/aiken-lang/src/uplc.rs @@ -1939,8 +1939,15 @@ impl<'a> CodeGenerator<'a> { | Pattern::Constructor { .. } | Pattern::Tuple { .. }) => { let mut var_vec = vec![]; + let item_name = format!("list_item_id_{}", self.id_gen.next()); + names.push(item_name.clone()); + + let mut scope = scope.clone(); + + scope.push(self.id_gen.next()); + var_vec.push(Air::Var { constructor: ValueConstructor::public( Type::App {