From 9348caab2f80e856fce3252a974ed706237df0a8 Mon Sep 17 00:00:00 2001
From: rvcas <x@rvcas.dev>
Date: Thu, 9 Feb 2023 00:57:38 -0500
Subject: [PATCH] feat(expect): update formatter

* Token::Expect should format to expect
* since we still capture assert this means
  we can help users update to the new syntax
---
 crates/aiken-lang/src/format.rs            | 2 +-
 examples/acceptance_tests/040/lib/tests.ak | 2 +-
 examples/acceptance_tests/050/lib/tests.ak | 6 +++---
 3 files changed, 5 insertions(+), 5 deletions(-)

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
 }