From e6053d23747c09acfb3169e923dbac0e5a02b495 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Tue, 11 Jun 2024 23:22:22 +0200
Subject: New tests and more typecheck

---
 test/type_of.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'test/type_of.ml')

diff --git a/test/type_of.ml b/test/type_of.ml
index e5db14e..e5f7f9b 100644
--- a/test/type_of.ml
+++ b/test/type_of.ml
@@ -26,7 +26,7 @@ let _test_instruction : string -> Qsp_syntax.Report.t list -> unit =
   Check._test_instruction
 
 let type_mismatch () = _test_instruction {|abc = 'ABC'|} (message Error)
-let assign_int_str () = _test_instruction {|$abc = 123|} []
+let assign_int_str () = _test_instruction {|$abc = 123|} (message Warn)
 let type_mismatch2 () = _test_instruction {|abc[''] = $Var|} (message Warn)
 
 let type_conversion () =
@@ -80,7 +80,7 @@ let test =
   ( "Typechecking",
     [
       Alcotest.test_case "Assign str to int" `Quick type_mismatch;
-      Alcotest.test_case "Assign int to str" `Quick assign_int_str;
+      Alcotest.test_case "$str = int" `Quick assign_int_str;
       Alcotest.test_case "Assign array" `Quick type_mismatch2;
       Alcotest.test_case "Conversion" `Quick type_conversion;
       Alcotest.test_case "Conversion'" `Quick type_conversion';
@@ -94,5 +94,5 @@ let test =
       Alcotest.test_case "Comparaison Mismatch" `Quick type_comparaison_mismatch;
       Alcotest.test_case "Wrong predicate" `Quick wrong_predicate;
       Alcotest.test_case "+(int, str)" `Quick concat_text;
-      Alcotest.test_case "str +=  int" `Quick increment_string;
+      Alcotest.test_case "str += int" `Quick increment_string;
     ] )
-- 
cgit v1.2.3