From a689b8748fddc2c56798f8c6e90e0130e986559e Mon Sep 17 00:00:00 2001 From: microproofs Date: Fri, 28 Jul 2023 14:06:09 -0400 Subject: [PATCH] fix: working on minor edge cases fix: zero arg function dependencies should not count as hoisted fix: tuple index was receiving the wrong type --- crates/aiken-lang/src/gen_uplc.rs | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/crates/aiken-lang/src/gen_uplc.rs b/crates/aiken-lang/src/gen_uplc.rs index 179644f7..ab6b7a39 100644 --- a/crates/aiken-lang/src/gen_uplc.rs +++ b/crates/aiken-lang/src/gen_uplc.rs @@ -597,9 +597,9 @@ impl<'a> CodeGenerator<'a> { tipo.clone(), ), - TypedExpr::TupleIndex { - tipo, index, tuple, .. - } => AirTree::tuple_index(*index, tipo.clone(), self.build(tuple)), + TypedExpr::TupleIndex { index, tuple, .. } => { + AirTree::tuple_index(*index, tuple.tipo(), self.build(tuple)) + } TypedExpr::ErrorTerm { tipo, .. } => AirTree::error(tipo.clone()), @@ -2765,7 +2765,10 @@ impl<'a> CodeGenerator<'a> { )); deps_vec.extend(dependency_deps_to_add); - hoisted_functions.push((dep_key.clone(), dep_variant.clone())); + + if !params_empty { + hoisted_functions.push((dep_key.clone(), dep_variant.clone())); + } } }