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

Change another test

This commit is contained in:
microproofs 2024-11-02 14:45:58 -04:00
parent 362eb75329
commit d350bc1935
No known key found for this signature in database
GPG Key ID: 14F93C84DE6AFD17
1 changed files with 26 additions and 43 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -5460,35 +5460,22 @@ fn list_clause_with_assign() {
.delayed_choose_list(
Term::var("self"),
Term::var("tail_2")
.delay_empty_choose_list(
.delayed_choose_list(
Term::equals_integer()
.apply(Term::integer(0.into()))
.apply(
Term::var(CONSTR_INDEX_EXPOSER)
.apply(Term::var("n")),
)
.delay_true_if_then_else(
.delayed_if_then_else(
Term::mk_cons()
.apply(Term::var("n"))
.apply(Term::empty_list()),
Term::var("clauses_delayed"),
)
.lambda("x")
.apply(
Term::head_list()
.apply(Term::var("tail_1")),
)
.lambda("n")
.apply(
Term::head_list()
.apply(Term::var("self")),
),
Term::var("clauses_delayed"),
)
.lambda("clauses_delayed")
.apply(
Term::var("tail_2")
.delayed_choose_list(
.apply(Term::empty_list())
.lambda("x")
.apply(
Term::head_list()
.apply(Term::var("tail_1")),
),
Term::mk_cons()
.apply(Term::var("x"))
.apply(Term::empty_list())
@ -5496,30 +5483,26 @@ fn list_clause_with_assign() {
.apply(
Term::head_list()
.apply(Term::var("tail_1")),
)
.lambda("a")
.apply(
Term::head_list()
.apply(Term::var("self")),
),
Term::var("c").lambda("c").apply(
Term::tail_list()
.apply(Term::var("tail_1"))
.lambda("b")
.apply(
Term::head_list().apply(
Term::var("tail_1"),
),
)
.lambda("a")
.apply(
Term::head_list().apply(
Term::var("self"),
),
),
),
)
.delay(),
.lambda("n")
.apply(
Term::head_list()
.apply(Term::var("self")),
),
Term::var("c")
.lambda("c")
.apply(Term::var("tail_2"))
.lambda("b")
.lambda("a")
.apply(
Term::head_list()
.apply(Term::var("self")),
)
.apply(
Term::head_list()
.apply(Term::var("tail_1")),
),
)
.lambda("tail_2")
.apply(