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

mixed up pair builtin

This commit is contained in:
microproofs 2024-03-06 15:30:32 -05:00 committed by Kasey
parent bdd84dc952
commit e217423145
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -5250,12 +5250,12 @@ impl<'a> CodeGenerator<'a> {
if names[0] != "_" { if names[0] != "_" {
term = term.lambda(names[0].clone()).apply(if is_expect { term = term.lambda(names[0].clone()).apply(if is_expect {
convert_data_to_type( convert_data_to_type(
Term::snd_pair().apply(Term::var(format!("__tuple_{list_id}"))), Term::fst_pair().apply(Term::var(format!("__tuple_{list_id}"))),
&inner_types[0], &inner_types[0],
) )
} else { } else {
known_data_to_type( known_data_to_type(
Term::snd_pair().apply(Term::var(format!("__tuple_{list_id}"))), Term::fst_pair().apply(Term::var(format!("__tuple_{list_id}"))),
&inner_types[0], &inner_types[0],
) )
}) })