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

fix: last test fixed

This commit is contained in:
microproofs 2023-08-16 20:41:46 -04:00 committed by Kasey
parent a45e04fd9b
commit 20aa54b5ca
1 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4805,7 +4805,7 @@ fn list_clause_with_assign() {
[a] [a]
} }
[a, x] -> { [a, x] -> {
[a] [x]
} }
[a, b, ..c] -> { [a, b, ..c] -> {
c c
@ -4831,7 +4831,7 @@ fn list_clause_with_assign() {
Term::Error.trace(Term::string("unreachable")), Term::Error.trace(Term::string("unreachable")),
Term::var("tail_1") Term::var("tail_1")
.delayed_choose_list( .delayed_choose_list(
Term::empty_list(), Term::var("self"),
Term::var("tail_2") Term::var("tail_2")
.choose_list( .choose_list(
Term::var("clause_guard") Term::var("clause_guard")
@ -4874,8 +4874,13 @@ fn list_clause_with_assign() {
.apply( .apply(
Term::var("tail_2") Term::var("tail_2")
.delayed_choose_list( .delayed_choose_list(
Term::empty_list() Term::mk_cons()
.lambda("b") .apply(
Term::i_data()
.apply(Term::var("x")),
)
.apply(Term::empty_list())
.lambda("x")
.apply( .apply(
Term::un_i_data().apply( Term::un_i_data().apply(
Term::head_list().apply( Term::head_list().apply(