extend assert functions by add fail_msg~ argument

Author: myfreess

builtin/assert.mbt

@@ -47,9 +47,15 @@ fn[T : Show] debug_string(t : T) -> String {
 /// }
 /// ```
 #coverage.skip
-pub fn[T : Eq + Show] assert_eq(a : T, b : T, loc~ : SourceLoc = _) -> Unit! {
+pub fn[T : Eq + Show] assert_eq(
+  a : T,
+  b : T,
+  fail_msg~ : String = "",
+  loc~ : SourceLoc = _
+) -> Unit! {
   if a != b {
-    fail("`\{a} != \{b}`", loc~)
+    let fail_msg = if fail_msg == "" { "`\{a} != \{b}`" } else { fail_msg }
+    fail(fail_msg, loc~)
   }
 }
 
@@ -83,12 +89,14 @@ pub fn[T : Eq + Show] assert_eq(a : T, b : T, loc~ : SourceLoc = _) -> Unit! {
 pub fn[T : Eq + Show] assert_not_eq(
   a : T,
   b : T,
+  fail_msg~ : String = "",
   loc~ : SourceLoc = _
 ) -> Unit! {
   if not(a != b) {
     let a = debug_string(a)
     let b = debug_string(b)
-    fail("`\{a} == \{b}`", loc~)
+    let fail_msg = if fail_msg == "" { "`\{a} == \{b}`" } else { fail_msg }
+    fail(fail_msg, loc~)
   }
 }
 
@@ -117,9 +125,13 @@ pub fn[T : Eq + Show] assert_not_eq(
 /// }
 /// ```
 #coverage.skip
-pub fn assert_true(x : Bool, loc~ : SourceLoc = _) -> Unit! {
+pub fn assert_true(
+  x : Bool,
+  fail_msg~ : String = "",
+  loc~ : SourceLoc = _
+) -> Unit! {
   if not(x) {
-    fail("`\{x}` is not true", loc~)
+    fail(fail_msg, loc~)
   }
 }
 
@@ -149,9 +161,12 @@ pub fn assert_true(x : Bool, loc~ : SourceLoc = _) -> Unit! {
 /// }
 /// ```
 #coverage.skip
-pub fn assert_false(x : Bool, loc~ : SourceLoc = _) -> Unit! {
+pub fn assert_false(
+  x : Bool,
+  fail_msg~ : String = "",
+  loc~ : SourceLoc = _
+) -> Unit! {
   if x {
-    let x = debug_string(x)
-    fail("`\{x}` is not false", loc~)
+    fail(fail_msg, loc~)
   }
 }

builtin/builtin.mbti

@@ -3,13 +3,13 @@ package "moonbitlang/core/builtin"
 // Values
 fn[T] abort(String) -> T
 
-fn[T : Eq + Show] assert_eq(T, T, loc~ : SourceLoc = _) -> Unit!
+fn[T : Eq + Show] assert_eq(T, T, fail_msg~ : String = .., loc~ : SourceLoc = _) -> Unit!
 
-fn assert_false(Bool, loc~ : SourceLoc = _) -> Unit!
+fn assert_false(Bool, fail_msg~ : String = .., loc~ : SourceLoc = _) -> Unit!
 
-fn[T : Eq + Show] assert_not_eq(T, T, loc~ : SourceLoc = _) -> Unit!
+fn[T : Eq + Show] assert_not_eq(T, T, fail_msg~ : String = .., loc~ : SourceLoc = _) -> Unit!
 
-fn assert_true(Bool, loc~ : SourceLoc = _) -> Unit!
+fn assert_true(Bool, fail_msg~ : String = .., loc~ : SourceLoc = _) -> Unit!
 
 #deprecated
 fn[T] dump(T, name? : String, loc~ : SourceLoc = _) -> T

prelude/prelude.mbti

@@ -7,13 +7,13 @@ import(
 // Values
 fn[T] abort(String) -> T
 
-fn[T : @builtin.Eq + @builtin.Show] assert_eq(T, T, loc~ : @builtin.SourceLoc = _) -> Unit!
+fn[T : @builtin.Eq + @builtin.Show] assert_eq(T, T, fail_msg~ : String = .., loc~ : @builtin.SourceLoc = _) -> Unit!
 
-fn assert_false(Bool, loc~ : @builtin.SourceLoc = _) -> Unit!
+fn assert_false(Bool, fail_msg~ : String = .., loc~ : @builtin.SourceLoc = _) -> Unit!
 
-fn[T : @builtin.Eq + @builtin.Show] assert_not_eq(T, T, loc~ : @builtin.SourceLoc = _) -> Unit!
+fn[T : @builtin.Eq + @builtin.Show] assert_not_eq(T, T, fail_msg~ : String = .., loc~ : @builtin.SourceLoc = _) -> Unit!
 
-fn assert_true(Bool, loc~ : @builtin.SourceLoc = _) -> Unit!
+fn assert_true(Bool, fail_msg~ : String = .., loc~ : @builtin.SourceLoc = _) -> Unit!
 
 #deprecated
 fn[T] dump(T, name? : String, loc~ : @builtin.SourceLoc = _) -> T