From 49a0a91103dddc1db7e2b02c6f9a26e212f9e89c Mon Sep 17 00:00:00 2001
From: microproofs <kwhitemsg@gmail.com>
Date: Fri, 28 Jul 2023 19:41:46 -0400
Subject: [PATCH] fix tests again

---
 crates/aiken-project/src/tests/gen_uplc.rs | 30 ++++++++++------------
 1 file changed, 14 insertions(+), 16 deletions(-)

diff --git a/crates/aiken-project/src/tests/gen_uplc.rs b/crates/aiken-project/src/tests/gen_uplc.rs
index 641c705b..47a681c3 100644
--- a/crates/aiken-project/src/tests/gen_uplc.rs
+++ b/crates/aiken-project/src/tests/gen_uplc.rs
@@ -4120,17 +4120,19 @@ fn expect_head3_cast_data_no_tail() {
             .lambda("i")
             .apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("tail_1"))))
             .lambda("tail_1")
-            .apply(Term::tail_list().apply(Term::var("unwrap_a")))
-            .lambda("h")
-            .apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("unwrap_a"))))
-            .lambda("unwrap_a")
-            .apply(Term::unlist_data().apply(Term::var("a")))
-            .lambda("a")
-            .apply(Term::list_data().apply(Term::list_values(vec![
+            .apply(Term::tail_list().apply(Term::list_values(vec![
                 Constant::Data(Data::integer(1.into())),
                 Constant::Data(Data::integer(2.into())),
                 Constant::Data(Data::integer(3.into())),
-            ]))),
+            ])))
+            .lambda("h")
+            .apply(
+                Term::un_i_data().apply(Term::head_list().apply(Term::list_values(vec![
+                    Constant::Data(Data::integer(1.into())),
+                    Constant::Data(Data::integer(2.into())),
+                    Constant::Data(Data::integer(3.into())),
+                ]))),
+            ),
         false,
     );
 }
@@ -4160,13 +4162,11 @@ fn expect_head_cast_data_no_tail() {
             .lambda("h")
             .apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("unwrap_a"))))
             .lambda("unwrap_a")
-            .apply(Term::unlist_data().apply(Term::var("a")))
-            .lambda("a")
-            .apply(Term::list_data().apply(Term::list_values(vec![
+            .apply(Term::list_values(vec![
                 Constant::Data(Data::integer(1.into())),
                 Constant::Data(Data::integer(2.into())),
                 Constant::Data(Data::integer(3.into())),
-            ]))),
+            ])),
         true,
     );
 }
@@ -4225,13 +4225,11 @@ fn expect_head_cast_data_with_tail() {
             .lambda("h")
             .apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("unwrap_a"))))
             .lambda("unwrap_a")
-            .apply(Term::unlist_data().apply(Term::var("a")))
-            .lambda("a")
-            .apply(Term::list_data().apply(Term::list_values(vec![
+            .apply(Term::list_values(vec![
                 Constant::Data(Data::integer(1.into())),
                 Constant::Data(Data::integer(2.into())),
                 Constant::Data(Data::integer(3.into())),
-            ]))),
+            ])),
         false,
     );
 }