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

another test fix

This commit is contained in:
microproofs 2024-01-23 16:08:07 -05:00 committed by Kasey
parent dc61e11813
commit 00e1942999
1 changed files with 15 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4303,22 +4303,28 @@ fn expect_head_no_tail() {
assert_uplc(
src,
Term::tail_list()
.apply(Term::var("a"))
Term::var("a")
.delayed_choose_list(
Term::equals_integer()
.apply(Term::var("h"))
.apply(Term::var("h")),
Term::Error.delayed_trace(Term::string("expect [h] = a")),
Term::Error.delayed_trace(Term::var("expect[h]=a")),
Term::tail_list()
.apply(Term::var("a"))
.delayed_choose_list(
Term::equals_integer()
.apply(Term::var("h"))
.apply(Term::var("h")),
Term::Error.delayed_trace(Term::var("expect[h]=a")),
)
.lambda("h")
.apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("a")))),
)
.lambda("h")
.apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("a"))))
.lambda("a")
.apply(Term::list_values(vec![
Constant::Data(Data::integer(1.into())),
Constant::Data(Data::integer(2.into())),
Constant::Data(Data::integer(3.into())),
])),
]))
.lambda("expect[h]=a")
.apply(Term::string("expect [h] = a")),
true,
);
}