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

fix: accidentally put quotes around tail_name

This commit is contained in:
microproofs 2024-01-08 15:46:35 -05:00 committed by Kasey
parent 2216f387c3
commit f722af1149
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
crates/aiken-lang/src/gen_uplc/builder.rs
View File

@ -1462,20 +1462,18 @@ pub fn list_access_to_uplc(
.delayed_choose_list(acc, error_term.clone()) .delayed_choose_list(acc, error_term.clone())
.lambda(name) .lambda(name)
.apply(head_list) .apply(head_list)
.lambda("tail_name") .lambda(tail_name)
} else { } else {
acc.lambda(name) acc.lambda(name).apply(head_list).lambda(tail_name)
.apply(head_list)
.lambda(tail_name.to_string())
} }
} else if name == "_" { } else if name == "_" {
acc.apply(Term::tail_list().apply(Term::var(tail_name.to_string()))) acc.apply(Term::tail_list().apply(Term::var(tail_name.to_string())))
.lambda(tail_name.to_string()) .lambda(tail_name)
} else { } else {
acc.apply(Term::tail_list().apply(Term::var(tail_name.to_string()))) acc.apply(Term::tail_list().apply(Term::var(tail_name.to_string())))
.lambda(name) .lambda(name)
.apply(head_list) .apply(head_list)
.lambda(tail_name.to_string()) .lambda(tail_name)
} }
}, },
) )