From dc61e118139e33497fc35eba5c1dc0a269bea67f Mon Sep 17 00:00:00 2001 From: microproofs Date: Tue, 23 Jan 2024 16:01:53 -0500 Subject: [PATCH] fix test --- crates/aiken-project/src/tests/gen_uplc.rs | 18 ++++++++++++------ 1 file changed, 12 insertions(+), 6 deletions(-) diff --git a/crates/aiken-project/src/tests/gen_uplc.rs b/crates/aiken-project/src/tests/gen_uplc.rs index 0d8bdb99..964e20d8 100644 --- a/crates/aiken-project/src/tests/gen_uplc.rs +++ b/crates/aiken-project/src/tests/gen_uplc.rs @@ -4270,17 +4270,23 @@ fn expect_head_discard_tail() { assert_uplc( src, - Term::equals_integer() - .apply(Term::var("h")) - .apply(Term::var("h")) - .lambda("h") - .apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("a")))) + Term::var("a") + .delayed_choose_list( + Term::Error.delayed_trace(Term::var("expect[h,..]=a")), + Term::equals_integer() + .apply(Term::var("h")) + .apply(Term::var("h")) + .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")), false, ); }