Skip to content

Commit

Permalink
Continue updating tests
Browse files Browse the repository at this point in the history
  • Loading branch information
MicroProofs committed Nov 1, 2024
1 parent 1d1075c commit 6b57332
Showing 1 changed file with 8 additions and 8 deletions.
16 changes: 8 additions & 8 deletions crates/aiken-project/src/tests/gen_uplc.rs
Original file line number Diff line number Diff line change
Expand Up @@ -855,15 +855,15 @@ fn acceptance_test_7_unzip_tuple() {
.apply(Term::var("unzip"))
.apply(Term::var("rest")),
)
.lambda("rest")
.lambda("b")
.apply(Term::un_b_data().apply(Term::head_list().apply(
Term::tail_list().apply(Term::var("head_tuple")),
)))
.lambda("a")
.apply(Term::un_i_data().apply(
Term::head_list().apply(Term::var("head_tuple")),
))
.lambda("rest")
.apply(Term::un_b_data().apply(Term::head_list().apply(
Term::tail_list().apply(Term::var("head_tuple")),
)))
.apply(Term::tail_list().apply(Term::var("xs")))
.lambda("head_tuple")
.apply(
Expand Down Expand Up @@ -970,15 +970,15 @@ fn acceptance_test_7_unzip_pair() {
.apply(Term::var("unzip"))
.apply(Term::var("rest")),
)
.lambda("rest")
.lambda("b")
.apply(Term::un_b_data().apply(
Term::snd_pair().apply(Term::var("head_pair")),
))
.lambda("a")
.apply(Term::un_i_data().apply(
Term::fst_pair().apply(Term::var("head_pair")),
))
.lambda("rest")
.apply(Term::un_b_data().apply(
Term::snd_pair().apply(Term::var("head_pair")),
))
.apply(Term::tail_list().apply(Term::var("xs")))
.lambda("head_pair")
.apply(Term::head_list().apply(Term::var("xs"))),
Expand Down

0 comments on commit 6b57332

Please sign in to comment.