diff --git a/crates/aiken-lang/src/format.rs b/crates/aiken-lang/src/format.rs index 8134340d..9e02c278 100644 --- a/crates/aiken-lang/src/format.rs +++ b/crates/aiken-lang/src/format.rs @@ -606,7 +606,7 @@ impl<'comments> Formatter<'comments> { let keyword = match kind { Some(AssignmentKind::Let) => "let ", - Some(AssignmentKind::Expect) => "assert ", + Some(AssignmentKind::Expect) => "expect ", None => "try ", }; diff --git a/examples/acceptance_tests/040/lib/tests.ak b/examples/acceptance_tests/040/lib/tests.ak index 5cdb783d..3bd58bd9 100644 --- a/examples/acceptance_tests/040/lib/tests.ak +++ b/examples/acceptance_tests/040/lib/tests.ak @@ -28,6 +28,6 @@ test update_owner1() { builtin.list_data([]), ], ) - assert Ford { owner, wheels, truck_bed_limit, .. }: Car = initial_car + expect Ford { owner, wheels, truck_bed_limit, .. }: Car = initial_car owner == #"" && wheels == 4 && truck_bed_limit == 10000 } diff --git a/examples/acceptance_tests/050/lib/tests.ak b/examples/acceptance_tests/050/lib/tests.ak index 4416c0bc..dca9b864 100644 --- a/examples/acceptance_tests/050/lib/tests.ak +++ b/examples/acceptance_tests/050/lib/tests.ak @@ -13,19 +13,19 @@ test let_1() { test let_2() { let x: Data = 1 - assert y: Int = x + expect y: Int = x y == 1 } test assert_1() { - assert thing: Thing = builtin.constr_data(0, [builtin.i_data(1)]) + expect thing: Thing = builtin.constr_data(0, [builtin.i_data(1)]) thing.wow == 1 } fn cast_to_thing(x: Data) -> Thing { - assert x: Thing = x + expect x: Thing = x x }