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

fix: free unique on purpose arg

This commit is contained in:
rvcas 2024-08-15 12:24:21 -04:00 committed by KtorZ
parent c2c4bddfb3
commit 79099675d4
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 26 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -363,11 +363,36 @@ impl<'a> CodeGenerator<'a> {
}); });
} }
// let purpose_arg = __purpose_arg__
if let Some(arg_name) = purpose_arg.get_variable_name() {
then.push(TypedExpr::Assignment {
location: Span::empty(),
tipo: purpose_arg.tipo.clone(),
value: TypedExpr::Var {
location: Span::empty(),
constructor: ValueConstructor {
public: true,
variant: ValueConstructorVariant::LocalVariable {
location: Span::empty(),
},
tipo: data(),
},
name: "__purpose_arg__".to_string(),
}
.into(),
pattern: TypedPattern::Var {
location: Span::empty(),
name: arg_name.to_string(),
},
kind: AssignmentKind::let_(),
});
}
// let last_arg_name = __transaction__ // let last_arg_name = __transaction__
if let Some(arg_name) = transaction.get_variable_name() { if let Some(arg_name) = transaction.get_variable_name() {
then.push(TypedExpr::Assignment { then.push(TypedExpr::Assignment {
location: Span::empty(), location: Span::empty(),
tipo: purpose_arg.tipo.clone(), tipo: transaction.tipo.clone(),
value: TypedExpr::Var { value: TypedExpr::Var {
location: Span::empty(), location: Span::empty(),
constructor: ValueConstructor { constructor: ValueConstructor {