From 60cb98b4a27ff0f59298646c835606d0a9a47ba3 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sun, 14 Jan 2024 12:12:28 +0100
Subject: Report as a Warn error when an string is assigned in an Int variable

---
 lib/syntax/type_of.ml |  2 +-
 test/type_of.ml       | 13 ++++++++++++-
 2 files changed, 13 insertions(+), 2 deletions(-)

diff --git a/lib/syntax/type_of.ml b/lib/syntax/type_of.ml
index b2776fc..4344a11 100644
--- a/lib/syntax/type_of.ml
+++ b/lib/syntax/type_of.ml
@@ -465,7 +465,7 @@ module Instruction = struct
             [ op1; op2 ] []
         with
         | [] ->
-            Helper.compare_args ~strict:true ~level:Report.Debug pos expected
+            Helper.compare_args ~strict:true ~level:Report.Warn pos expected
               [ op1; op2 ] report
         | reports -> reports @ report)
 end
diff --git a/test/type_of.ml b/test/type_of.ml
index a73684a..bca7ea0 100644
--- a/test/type_of.ml
+++ b/test/type_of.ml
@@ -15,11 +15,21 @@ let type_mismatch () =
       };
     ]
 
+let type_mismatch2 () =
+  _test_instruction {|abc[''] = $Var|}
+    [
+      {
+        level = Warn;
+        loc = _position;
+        message = "The type Integer is expected but got String";
+      };
+    ]
+
 let type_conversion () =
   _test_instruction {|abc = '123'|}
     [
       {
-        level = Debug;
+        level = Warn;
         loc = _position;
         message = "The type Integer is expected but got Integer as String";
       };
@@ -54,6 +64,7 @@ let test =
   ( "Typechecking",
     [
       Alcotest.test_case "Assign" `Quick type_mismatch;
+      Alcotest.test_case "Assign array" `Quick type_mismatch2;
       Alcotest.test_case "Conversion" `Quick type_conversion;
       Alcotest.test_case "Conversion'" `Quick type_conversion';
       Alcotest.test_case "Comparaison" `Quick type_comparaison;
-- 
cgit v1.2.3