diff --git a/crates/aiken-lang/src/gen_uplc.rs b/crates/aiken-lang/src/gen_uplc.rs index 10575f04..d147f28c 100644 --- a/crates/aiken-lang/src/gen_uplc.rs +++ b/crates/aiken-lang/src/gen_uplc.rs @@ -1858,7 +1858,7 @@ impl<'a> CodeGenerator<'a> { } AssignmentKind::Expect => { if tipo.is_bool() { - expect_stack.expect_bool(constr_name == "True", value_stack); + expect_stack.expect_bool(constructor_name == "True", value_stack); } else if tipo.is_void() { expect_stack.choose_unit(value_stack); } else if tipo.is_data() { @@ -2322,8 +2322,6 @@ impl<'a> CodeGenerator<'a> { let new_id = self.id_gen.next(); - // START HERE - let mut clause_stack = expect_stack.empty_with_scope(); let mut when_stack = expect_stack.empty_with_scope(); let mut trace_stack = expect_stack.empty_with_scope(); diff --git a/examples/acceptance_tests/076/lib/tests.ak b/examples/acceptance_tests/076/lib/tests.ak index 06c461ec..30ed483b 100644 --- a/examples/acceptance_tests/076/lib/tests.ak +++ b/examples/acceptance_tests/076/lib/tests.ak @@ -1,7 +1,15 @@ test expect_positive() { let val = 5 - expect True = + expect False = val > 0 True } + +// test expect_fail() { +// let val = +// 5 +// expect True = +// val < 0 +// True +// }