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

fixed some of the tests

This commit is contained in:
microproofs 2024-01-22 17:58:11 -05:00 committed by Kasey
parent 3a44c45b48
commit e523ae63f3
1 changed files with 196 additions and 77 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4266,42 +4266,62 @@ fn expect_head3_no_tail() {
assert_uplc( assert_uplc(
src, src,
Term::tail_list() Term::var("a")
.apply(Term::var("tail_2"))
.delayed_choose_list( .delayed_choose_list(
Term::equals_integer() Term::Error.delayed_trace(Term::var("expect[h,i,j]=a")),
.apply(Term::var("h")) Term::var("tail_1")
.apply(Term::var("h")) .delayed_choose_list(
.delayed_if_then_else( Term::Error.delayed_trace(Term::var("expect[h,i,j]=a")),
Term::equals_integer() Term::var("tail_2")
.apply(Term::var("i")) .delayed_choose_list(
.apply(Term::var("i")), Term::Error.delayed_trace(Term::var("expect[h,i,j]=a")),
Term::bool(false), Term::tail_list()
.apply(Term::var("tail_2"))
.delayed_choose_list(
Term::equals_integer()
.apply(Term::var("h"))
.apply(Term::var("h"))
.delayed_if_then_else(
Term::equals_integer()
.apply(Term::var("i"))
.apply(Term::var("i")),
Term::bool(false),
)
.delayed_if_then_else(
Term::equals_integer()
.apply(Term::var("j"))
.apply(Term::var("j")),
Term::bool(false),
),
Term::Error.delayed_trace(Term::var("expect[h,i,j]=a")),
)
.lambda("j")
.apply(
Term::un_i_data()
.apply(Term::head_list().apply(Term::var("tail_2"))),
),
)
.lambda("tail_2")
.apply(Term::tail_list().apply(Term::var("tail_1")))
.lambda("i")
.apply(
Term::un_i_data()
.apply(Term::head_list().apply(Term::var("tail_1"))),
),
) )
.delayed_if_then_else( .lambda("tail_1")
Term::equals_integer() .apply(Term::tail_list().apply(Term::var("a")))
.apply(Term::var("j")) .lambda("h")
.apply(Term::var("j")), .apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("a")))),
Term::bool(false),
),
Term::Error.delayed_trace(Term::string("expect [h, i, j] = a")),
) )
.lambda("j")
.apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("tail_2"))))
.lambda("tail_2")
.apply(Term::tail_list().apply(Term::var("tail_1")))
.lambda("i")
.apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("tail_1"))))
.lambda("tail_1")
.apply(Term::tail_list().apply(Term::var("a")))
.lambda("h")
.apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("a"))))
.lambda("a") .lambda("a")
.apply(Term::list_values(vec![ .apply(Term::list_values(vec![
Constant::Data(Data::integer(1.into())), Constant::Data(Data::integer(1.into())),
Constant::Data(Data::integer(2.into())), Constant::Data(Data::integer(2.into())),
Constant::Data(Data::integer(3.into())), Constant::Data(Data::integer(3.into())),
])), ]))
.lambda(Term::var("expect[h,i,j]=a"))
.apply(Term::string("expect [h, i, j] = a")),
false, false,
); );
} }
@ -4318,46 +4338,115 @@ fn expect_head3_cast_data_no_tail() {
assert_uplc( assert_uplc(
src, src,
Term::tail_list() Term::var("tail_0")
.apply(Term::var("tail_2"))
.delayed_choose_list( .delayed_choose_list(
Term::equals_integer() Term::Error.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
.apply(Term::var("h")) Term::var("tail_1")
.apply(Term::var("h")) .delayed_choose_list(
.delayed_if_then_else( Term::Error.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
Term::equals_integer() Term::var("tail_2")
.apply(Term::var("i")) .delayed_choose_list(
.apply(Term::var("i")), Term::Error.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
Term::bool(false), Term::tail_list()
.apply(Term::var("tail_2"))
.delayed_choose_list(
Term::equals_integer()
.apply(Term::var("h"))
.apply(Term::var("h"))
.delayed_if_then_else(
Term::equals_integer()
.apply(Term::var("i"))
.apply(Term::var("i")),
Term::bool(false),
)
.delayed_if_then_else(
Term::equals_integer()
.apply(Term::var("j"))
.apply(Term::var("j")),
Term::bool(false),
),
Term::Error
.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
)
.lambda("j")
.apply(
Term::var("__var")
.delayed_choose_data(
Term::Error.delayed_trace(Term::var(
"expect[h,i,j]:List<Int>=a",
)),
Term::Error.delayed_trace(Term::var(
"expect[h,i,j]:List<Int>=a",
)),
Term::Error.delayed_trace(Term::var(
"expect[h,i,j]:List<Int>=a",
)),
Term::un_i_data().apply(Term::var("__var")),
Term::Error.delayed_trace(Term::var(
"expect[h,i,j]:List<Int>=a",
)),
)
.lambda("__var")
.apply(Term::head_list().apply(Term::var("tail_2"))),
),
)
.lambda("tail_2")
.apply(Term::tail_list().apply(Term::var("tail_1")))
.lambda("i")
.apply(
Term::var("__var")
.delayed_choose_data(
Term::Error
.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
Term::Error
.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
Term::Error
.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
Term::un_i_data().apply(Term::var("__var")),
Term::Error
.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
)
.lambda("__var")
.apply(Term::head_list().apply(Term::var("tail_1"))),
),
) )
.delayed_if_then_else( .lambda("tail_1")
Term::equals_integer() .apply(Term::tail_list().apply(Term::var("tail_0")))
.apply(Term::var("j")) .lambda("h")
.apply(Term::var("j")), .apply(
Term::bool(false), Term::var("__var")
.delayed_choose_data(
Term::Error.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
Term::Error.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
Term::Error.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
Term::un_i_data().apply(Term::var("__var")),
Term::Error.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
)
.lambda("__var")
.apply(Term::head_list().apply(Term::var("tail_0"))),
), ),
Term::Error.delayed_trace(Term::string("expect [h, i, j]: List<Int> = a")),
) )
.lambda("j") .lambda("tail_0")
.apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("tail_2"))))
.lambda("tail_2")
.apply(Term::tail_list().apply(Term::var("tail_1")))
.lambda("i")
.apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("tail_1"))))
.lambda("tail_1")
.apply(Term::tail_list().apply(Term::list_values(vec![
Constant::Data(Data::integer(1.into())),
Constant::Data(Data::integer(2.into())),
Constant::Data(Data::integer(3.into())),
])))
.lambda("h")
.apply( .apply(
Term::un_i_data().apply(Term::head_list().apply(Term::list_values(vec![ Term::data(Data::list(vec![
Constant::Data(Data::integer(1.into())), Data::integer(1.into()),
Constant::Data(Data::integer(2.into())), Data::integer(2.into()),
Constant::Data(Data::integer(3.into())), Data::integer(3.into()),
]))), ]))
), .delayed_choose_data(
Term::Error.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
Term::Error.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
Term::list_values(vec![
Constant::Data(Data::integer(1.into())),
Constant::Data(Data::integer(2.into())),
Constant::Data(Data::integer(3.into())),
]),
Term::Error.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
Term::Error.delayed_trace(Term::var("expect[h,i,j]:List<Int>=a")),
),
)
.lambda("expect[h,i,j]:List<Int>=a")
.apply(Term::string("expect [h, i, j]: List<Int> = a")),
false, false,
); );
} }
@ -4374,22 +4463,52 @@ fn expect_head_cast_data_no_tail() {
assert_uplc( assert_uplc(
src, src,
Term::tail_list() Term::var("tail_0")
.apply(Term::var("unwrap_a"))
.delayed_choose_list( .delayed_choose_list(
Term::equals_integer() Term::Error.delayed_trace(Term::var("expect[h]:List<Int>=a")),
.apply(Term::var("h")) Term::tail_list()
.apply(Term::var("h")), .apply(Term::var("tail_0"))
Term::Error.delayed_trace(Term::string("expect [h]: List<Int> = a")), .delayed_choose_list(
Term::equals_integer()
.apply(Term::var("h"))
.apply(Term::var("h")),
Term::Error.delayed_trace(Term::var("expect[h]:List<Int>=a")),
)
.lambda("h")
.apply(
Term::var("__var")
.delayed_choose_data(
Term::Error.delayed_trace(Term::var("expect[h]:List<Int>=a")),
Term::Error.delayed_trace(Term::var("expect[h]:List<Int>=a")),
Term::Error.delayed_trace(Term::var("expect[h]:List<Int>=a")),
Term::un_i_data().apply(Term::var("__var")),
Term::Error.delayed_trace(Term::var("expect[h]:List<Int>=a")),
)
.lambda("__var")
.apply(Term::head_list().apply(Term::var("tail_0"))),
),
) )
.lambda("h") .lambda("tail_0")
.apply(Term::un_i_data().apply(Term::head_list().apply(Term::var("unwrap_a")))) .apply(
.lambda("unwrap_a") Term::data(Data::list(vec![
.apply(Term::list_values(vec![ Data::integer(1.into()),
Constant::Data(Data::integer(1.into())), Data::integer(2.into()),
Constant::Data(Data::integer(2.into())), Data::integer(3.into()),
Constant::Data(Data::integer(3.into())), ]))
])), .delayed_choose_data(
Term::Error.delayed_trace(Term::var("expect[h]:List<Int>=a")),
Term::Error.delayed_trace(Term::var("expect[h]:List<Int>=a")),
Term::list_values(vec![
Constant::Data(Data::integer(1.into())),
Constant::Data(Data::integer(2.into())),
Constant::Data(Data::integer(3.into())),
]),
Term::Error.delayed_trace(Term::var("expect[h]:List<Int>=a")),
Term::Error.delayed_trace(Term::var("expect[h]:List<Int>=a")),
),
)
.lambda("expect[h]:List<Int>=a")
.apply(Term::string("expect [h]: List<Int> = a")),
true, true,
); );
} }