fix: used wrong index in tupleAcessor

This commit is contained in:
microproofs 2024-01-19 13:49:53 -05:00 committed by Kasey
parent 956c3d6cf0
commit 82fc82ceee
1 changed files with 4 additions and 4 deletions

View File

@ -5242,14 +5242,14 @@ impl<'a> CodeGenerator<'a> {
.lambda(names[0].clone()) .lambda(names[0].clone())
.apply(if error_term != Term::Error { .apply(if error_term != Term::Error {
builder::convert_data_to_type_debug( builder::convert_data_to_type_debug(
Term::snd_pair().apply(Term::var(format!("__tuple_{list_id}"))), Term::fst_pair().apply(Term::var(format!("__tuple_{list_id}"))),
&inner_types[1], &inner_types[0],
error_term, error_term,
) )
} else { } else {
builder::convert_data_to_type( builder::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[1], &inner_types[0],
) )
}) })
} }