From 362eb75329396ffef64588fd97f7df843928716e Mon Sep 17 00:00:00 2001 From: microproofs Date: Fri, 1 Nov 2024 19:34:27 -0400 Subject: [PATCH] Continue updating tests --- crates/aiken-project/src/tests/gen_uplc.rs | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/crates/aiken-project/src/tests/gen_uplc.rs b/crates/aiken-project/src/tests/gen_uplc.rs index 16e81cad..0f6f18f9 100644 --- a/crates/aiken-project/src/tests/gen_uplc.rs +++ b/crates/aiken-project/src/tests/gen_uplc.rs @@ -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( @@ -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"))),