From d1c784ed49f195266bbafb3c211c600148e42b93 Mon Sep 17 00:00:00 2001 From: microproofs Date: Sat, 3 Feb 2024 20:16:16 -0500 Subject: [PATCH] few more hoist over fixes --- crates/aiken-lang/src/gen_uplc.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/aiken-lang/src/gen_uplc.rs b/crates/aiken-lang/src/gen_uplc.rs index a5c31c2c..bb474793 100644 --- a/crates/aiken-lang/src/gen_uplc.rs +++ b/crates/aiken-lang/src/gen_uplc.rs @@ -889,7 +889,7 @@ impl<'a> CodeGenerator<'a> { let expr = AirTree::let_assignment(name, value, expect); - AirTree::assert_bool(true, expr, props.msg_func.clone()) + AirTree::assert_bool(true, expr, props.msg_func.clone()).hoist_over(then) } Pattern::Var { name, .. } => { @@ -1095,7 +1095,7 @@ impl<'a> CodeGenerator<'a> { if tipo.is_bool() { assert!(props.kind.is_expect()); - AirTree::assert_bool(name == "True", value, props.msg_func) + AirTree::assert_bool(name == "True", value, props.msg_func).hoist_over(then) } else if tipo.is_void() { AirTree::let_assignment("_", value, then) } else {