From 8f3f3589b949e1d6b8041414cec86f901d800b69 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Tue, 11 Jun 2024 22:11:08 +0200
Subject: Regression in the latest modifications

---
 test/type_of.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'test/type_of.ml')

diff --git a/test/type_of.ml b/test/type_of.ml
index aac928e..e5db14e 100644
--- a/test/type_of.ml
+++ b/test/type_of.ml
@@ -74,6 +74,7 @@ let wrong_predicate () =
     ]
 
 let concat_text () = _test_instruction {|$a = 'A' + 1|} []
+let increment_string () = _test_instruction {|$a += 1|} (message' Error)
 
 let test =
   ( "Typechecking",
@@ -93,4 +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;
     ] )
-- 
cgit v1.2.3