Updated an error message in a better way

1 files changed, 14 insertions, 5 deletions

diff --git a/test/type_of.ml b/test/type_of.ml
index 1b84faa..88b55b7 100644
--- a/test/type_of.ml
+++ b/test/type_of.ml
@@ -8,7 +8,9 @@ let message level =
       {
         level;
         loc = _position;
-        message = "The type Integer is expected but got String";
+        message =
+          "The expression has type String but the context was expecting a \
+           Integer";
       };
   ]
 
@@ -18,7 +20,9 @@ let message' level =
       {
         level;
         loc = _position;
-        message = "The type String is expected but got Integer";
+        message =
+          "The expression has type Integer but the context was expecting a \
+           String";
       };
   ]
 
@@ -28,7 +32,9 @@ let integer_as_string =
       {
         level = Warn;
         loc = _position;
-        message = "The type Integer is expected but got Integer as String";
+        message =
+          "The expression has type String but the context was expecting a \
+           Integer";
       };
   ]
 
@@ -60,7 +66,9 @@ let type_comparaison_mismatch () =
       {
         level = Warn;
         loc = _position;
-        message = "The type String is expected but got Integer";
+        message =
+          "The expression has type Integer but the context was expecting a \
+           String";
       };
     ]
 
@@ -70,7 +78,8 @@ let wrong_predicate () =
       {
         level = Warn;
         loc = _position;
-        message = "The type Bool is expected but got String";
+        message =
+          "The expression has type String but the context was expecting a Bool";
       };
     ]