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

Continue updating tests

This commit is contained in:
microproofs 2024-11-01 19:34:27 -04:00
parent e87d7a1101
commit 362eb75329
No known key found for this signature in database
GPG Key ID: 14F93C84DE6AFD17
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -855,15 +855,15 @@ fn acceptance_test_7_unzip_tuple() {
.apply(Term::var("unzip")) .apply(Term::var("unzip"))
.apply(Term::var("rest")), .apply(Term::var("rest")),
) )
.lambda("rest")
.lambda("b") .lambda("b")
.apply(Term::un_b_data().apply(Term::head_list().apply(
Term::tail_list().apply(Term::var("head_tuple")),
)))
.lambda("a") .lambda("a")
.apply(Term::un_i_data().apply( .apply(Term::un_i_data().apply(
Term::head_list().apply(Term::var("head_tuple")), 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"))) .apply(Term::tail_list().apply(Term::var("xs")))
.lambda("head_tuple") .lambda("head_tuple")
.apply( .apply(
@ -970,15 +970,15 @@ fn acceptance_test_7_unzip_pair() {
.apply(Term::var("unzip")) .apply(Term::var("unzip"))
.apply(Term::var("rest")), .apply(Term::var("rest")),
) )
.lambda("rest")
.lambda("b") .lambda("b")
.apply(Term::un_b_data().apply(
Term::snd_pair().apply(Term::var("head_pair")),
))
.lambda("a") .lambda("a")
.apply(Term::un_i_data().apply( .apply(Term::un_i_data().apply(
Term::fst_pair().apply(Term::var("head_pair")), 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"))) .apply(Term::tail_list().apply(Term::var("xs")))
.lambda("head_pair") .lambda("head_pair")
.apply(Term::head_list().apply(Term::var("xs"))), .apply(Term::head_list().apply(Term::var("xs"))),