waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix: wrap_validator_condition needs to happen earlier

This commit is contained in:
rvcas 2024-08-15 12:45:33 -04:00 committed by KtorZ
parent e174532bfd
commit b9456b5946
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 5 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
crates/aiken-lang/src/gen_uplc.rs
View File

@ -488,13 +488,10 @@ impl<'a> CodeGenerator<'a> {
on_test_failure: OnTestFailure::FailImmediately,
};
let mut air_tree_fun = AirTree::anon_func(
vec!["__context__".to_string()],
self.build(&fun.body, module_name, &[]),
true,
);
let air_tree_fun =
wrap_validator_condition(self.build(&fun.body, module_name, &[]), self.tracing);
air_tree_fun = wrap_validator_condition(air_tree_fun, self.tracing);
let air_tree_fun = AirTree::anon_func(vec!["__context__".to_string()], air_tree_fun, true);
let validator_args_tree = AirTree::no_op(air_tree_fun);
@ -504,9 +501,9 @@ impl<'a> CodeGenerator<'a> {
let full_vec = full_tree.to_vec();
let mut term = self.uplc_code_gen(full_vec);
let term = self.uplc_code_gen(full_vec);
term = cast_validator_args(term, params);
let term = cast_validator_args(term, params);
self.finalize(term)
}