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

fix tests again

This commit is contained in:
microproofs 2023-07-28 19:41:46 -04:00 committed by Kasey
parent f5c7d222aa
commit 49a0a91103
1 changed files with 14 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
crates/aiken-project/src/tests/gen_uplc.rs
View File

@ -4120,17 +4120,19 @@ fn expect_head3_cast_data_no_tail() {
.lambda("i") .lambda("i")
.apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("tail_1")))) .apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("tail_1"))))
.lambda("tail_1") .lambda("tail_1")
.apply(Term::tail_list().apply(Term::var("unwrap_a"))) .apply(Term::tail_list().apply(Term::list_values(vec![
.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![
Constant::Data(Data::integer(1.into())), Constant::Data(Data::integer(1.into())),
Constant::Data(Data::integer(2.into())), Constant::Data(Data::integer(2.into())),
Constant::Data(Data::integer(3.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, false,
); );
} }
@ -4160,13 +4162,11 @@ fn expect_head_cast_data_no_tail() {
.lambda("h") .lambda("h")
.apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("unwrap_a")))) .apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("unwrap_a"))))
.lambda("unwrap_a") .lambda("unwrap_a")
.apply(Term::unlist_data().apply(Term::var("a"))) .apply(Term::list_values(vec![
.lambda("a")
.apply(Term::list_data().apply(Term::list_values(vec![
Constant::Data(Data::integer(1.into())), Constant::Data(Data::integer(1.into())),
Constant::Data(Data::integer(2.into())), Constant::Data(Data::integer(2.into())),
Constant::Data(Data::integer(3.into())), Constant::Data(Data::integer(3.into())),
]))), ])),
true, true,
); );
} }
@ -4225,13 +4225,11 @@ fn expect_head_cast_data_with_tail() {
.lambda("h") .lambda("h")
.apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("unwrap_a")))) .apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("unwrap_a"))))
.lambda("unwrap_a") .lambda("unwrap_a")
.apply(Term::unlist_data().apply(Term::var("a"))) .apply(Term::list_values(vec![
.lambda("a")
.apply(Term::list_data().apply(Term::list_values(vec![
Constant::Data(Data::integer(1.into())), Constant::Data(Data::integer(1.into())),
Constant::Data(Data::integer(2.into())), Constant::Data(Data::integer(2.into())),
Constant::Data(Data::integer(3.into())), Constant::Data(Data::integer(3.into())),
]))), ])),
false, false,
); );
} }