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

fixing more tests

This commit is contained in:
microproofs 2024-03-31 00:53:04 -04:00 committed by Kasey
parent 30dd1f60e7
commit cb1ca84dad
1 changed files with 22 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1880,9 +1880,9 @@ fn acceptance_test_19_map_wrap_void() {
.apply( .apply(
Term::mk_cons() Term::mk_cons()
.apply( .apply(
Term::var("f").apply(Term::var("a")).choose_unit( Term::data(Data::constr(0, vec![]))
Term::data(Data::constr(0, vec![])), .lambda("_")
), .apply(Term::var("f").apply(Term::var("a"))),
) )
.apply(Term::empty_list()), .apply(Term::empty_list()),
) )
@ -6173,7 +6173,7 @@ fn opaque_value_in_datum() {
} }
opaque type Dict<v> { opaque type Dict<v> {
inner: List<(ByteArray, v)> inner: List<Pair<ByteArray, v>>
} }
type Dat { type Dat {
@ -6186,9 +6186,9 @@ fn opaque_value_in_datum() {
fn spend(dat: Dat, red: Data, ctx: Data) { fn spend(dat: Dat, red: Data, ctx: Data) {
let val = dat.a let val = dat.a
expect [(_, amount)] = val.inner.inner expect [Pair(_, amount)] = val.inner.inner
let final_amount = [(#"AA", 4)] |> Dict let final_amount = [Pair(#"AA", 4)] |> Dict
final_amount == amount final_amount == amount
@ -6278,7 +6278,7 @@ fn opaque_value_in_datum() {
src, src,
Term::var("val") Term::var("val")
.delayed_choose_list( .delayed_choose_list(
Term::Error.delayed_trace(Term::var("expect[(_,amount)]=val.inner.inner")), Term::Error.delayed_trace(Term::var("expect[Pair(_,amount)]=val.inner.inner")),
Term::tail_list() Term::tail_list()
.apply(Term::var("val")) .apply(Term::var("val"))
.delayed_choose_list( .delayed_choose_list(
@ -6297,7 +6297,8 @@ fn opaque_value_in_datum() {
Term::unmap_data() Term::unmap_data()
.apply(Term::snd_pair().apply(Term::var("tuple_item_0"))), .apply(Term::snd_pair().apply(Term::var("tuple_item_0"))),
), ),
Term::Error.delayed_trace(Term::var("expect[(_,amount)]=val.inner.inner")), Term::Error
.delayed_trace(Term::var("expect[Pair(_,amount)]=val.inner.inner")),
) )
.lambda("tuple_item_0") .lambda("tuple_item_0")
.apply(Term::head_list().apply(Term::var("val"))), .apply(Term::head_list().apply(Term::var("val"))),
@ -6415,8 +6416,8 @@ fn opaque_value_in_datum() {
) )
.lambda("dat") .lambda("dat")
.constr_fields_exposer() .constr_fields_exposer()
.lambda("expect[(_,amount)]=val.inner.inner") .lambda("expect[Pair(_,amount)]=val.inner.inner")
.apply(Term::string("expect [(_, amount)] = val.inner.inner")) .apply(Term::string("expect [Pair(_, amount)] = val.inner.inner"))
.lambda("dat:Dat") .lambda("dat:Dat")
.apply(Term::string("dat: Dat")) .apply(Term::string("dat: Dat"))
.constr_index_exposer(), .constr_index_exposer(),
@ -6432,7 +6433,7 @@ fn opaque_value_in_test() {
} }
pub opaque type Dict<v> { pub opaque type Dict<v> {
inner: List<(ByteArray, v)> inner: List<Pair<ByteArray, v>>
} }
pub type Dat { pub type Dat {
@ -6441,7 +6442,7 @@ fn opaque_value_in_test() {
} }
pub fn dat_new() -> Dat { pub fn dat_new() -> Dat {
let v = Value { inner: Dict { inner: [("", [(#"aa", 4)] |> Dict)] } } let v = Value { inner: Dict { inner: [Pair("", [Pair(#"aa", 4)] |> Dict)] } }
Dat { Dat {
c: 0, c: 0,
a: v a: v
@ -6454,9 +6455,9 @@ fn opaque_value_in_test() {
let val = dat.a let val = dat.a
expect [(_, amount)] = val.inner.inner expect [Pair(_, amount)] = val.inner.inner
let final_amount = [(#"AA", 4)] |> Dict let final_amount = [Pair(#"AA", 4)] |> Dict
final_amount == amount final_amount == amount
} }
@ -6466,7 +6467,7 @@ fn opaque_value_in_test() {
src, src,
Term::var("val") Term::var("val")
.delayed_choose_list( .delayed_choose_list(
Term::Error.delayed_trace(Term::var("expect[(_,amount)]=val.inner.inner")), Term::Error.delayed_trace(Term::var("expect[Pair(_,amount)]=val.inner.inner")),
Term::tail_list() Term::tail_list()
.apply(Term::var("val")) .apply(Term::var("val"))
.delayed_choose_list( .delayed_choose_list(
@ -6485,7 +6486,8 @@ fn opaque_value_in_test() {
Term::unmap_data() Term::unmap_data()
.apply(Term::snd_pair().apply(Term::var("tuple_item_0"))), .apply(Term::snd_pair().apply(Term::var("tuple_item_0"))),
), ),
Term::Error.delayed_trace(Term::var("expect[(_,amount)]=val.inner.inner")), Term::Error
.delayed_trace(Term::var("expect[Pair(_,amount)]=val.inner.inner")),
) )
.lambda("tuple_item_0") .lambda("tuple_item_0")
.apply(Term::head_list().apply(Term::var("val"))), .apply(Term::head_list().apply(Term::var("val"))),
@ -6519,8 +6521,8 @@ fn opaque_value_in_test() {
)])) )]))
.into(), .into(),
)])) )]))
.lambda("expect[(_,amount)]=val.inner.inner") .lambda("expect[Pair(_,amount)]=val.inner.inner")
.apply(Term::string("expect [(_, amount)] = val.inner.inner")) .apply(Term::string("expect [Pair(_, amount)] = val.inner.inner"))
.constr_fields_exposer(), .constr_fields_exposer(),
false, false,
); );
@ -6561,8 +6563,8 @@ fn head_list_on_map() {
use aiken/builtin use aiken/builtin
test exp_none() { test exp_none() {
let x = [(1, ""), (2, #"aa")] let x = [Pair(1, ""), Pair(2, #"aa")]
builtin.head_list(x) == (1, "") builtin.head_list(x) == Pair(1, "")
} }
"#; "#;