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

fix: wrong scope being passed in for unwrapdata and wrapdata in assignment ir 

Closes #441
This commit is contained in:
Kasey White 2023-03-14 17:05:27 -04:00
parent 2a00ef281b
commit f830172493
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
crates/aiken-lang/src/uplc.rs
View File

@ -1780,6 +1780,9 @@ impl<'a> CodeGenerator<'a> {
scope: Vec<u64>, scope: Vec<u64>,
) { ) {
if assignment_properties.value_type.is_data() && !tipo.is_data() && !pattern.is_discard() { if assignment_properties.value_type.is_data() && !tipo.is_data() && !pattern.is_discard() {
let mut scope = scope.clone();
scope.push(self.id_gen.next());
value_vec.insert( value_vec.insert(
0, 0,
Air::UnWrapData { Air::UnWrapData {
@ -1789,6 +1792,9 @@ impl<'a> CodeGenerator<'a> {
); );
} }
if !assignment_properties.value_type.is_data() && tipo.is_data() && !pattern.is_discard() { if !assignment_properties.value_type.is_data() && tipo.is_data() && !pattern.is_discard() {
let mut scope = scope.clone();
scope.push(self.id_gen.next());
value_vec.insert( value_vec.insert(
0, 0,
Air::WrapData { Air::WrapData {