Fix soft casting case

aiken-lang · Sep 12, 2024 · 288c089 · 288c089
1 parent 2a9faf7
commit 288c089
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/crates/aiken-lang/src/gen_uplc.rs b/crates/aiken-lang/src/gen_uplc.rs
@@ -666,13 +666,14 @@ impl<'a> CodeGenerator<'a> {
  self.build(final_else, module_build_name, &[]),
  |acc, branch| {
  let condition = self.build(&branch.condition, module_build_name, &[]);
- let body = self.build(&branch.body, module_build_name, &[]);
 
  match &branch.is {
  Some((pattern, tipo)) => {
  introduce_pattern(&mut self.interner, pattern);
  self.interner.intern("acc_var".to_string());
 
+ let body = self.build(&branch.body, module_build_name, &[]);
+
  let acc_var =
  self.interner.lookup_interned(&"acc_var".to_string());
 
@@ -703,7 +704,12 @@ impl<'a> CodeGenerator<'a> {
 
  tree
  }
- None => AirTree::if_branch(tipo.clone(), condition, body, acc),
+ None => AirTree::if_branch(
+ tipo.clone(),
+ condition,
+ self.build(&branch.body, module_build_name, &[]),
+ acc,
+ ),
  }
  },
  )