From 89c19613764368afba6659e8586dec010c9b9d6b Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Thu, 6 Jun 2024 15:11:05 +0200 Subject: Forgot the case where + is used as a concatenation operator --- test/type_of.ml | 3 +++ 1 file changed, 3 insertions(+) (limited to 'test/type_of.ml') diff --git a/test/type_of.ml b/test/type_of.ml index d2be5e7..aac928e 100644 --- a/test/type_of.ml +++ b/test/type_of.ml @@ -73,6 +73,8 @@ let wrong_predicate () = }; ] +let concat_text () = _test_instruction {|$a = 'A' + 1|} [] + let test = ( "Typechecking", [ @@ -90,4 +92,5 @@ let test = Alcotest.test_case "gt(int, str)" `Quick type_comparaison_gt'; 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; ] ) -- cgit v1.2.3