From 05f74bee05c0c56da593a5e89069711d5993e3b1 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Mon, 30 Oct 2023 08:22:39 +0100 Subject: Managed the strings in strings --- test/type_of.ml | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'test/type_of.ml') diff --git a/test/type_of.ml b/test/type_of.ml index 18aae1f..a73684a 100644 --- a/test/type_of.ml +++ b/test/type_of.ml @@ -25,6 +25,9 @@ let type_conversion () = }; ] +(** This expression is not considered as a string *) +let type_conversion' () = _test_instruction {|abc = '<<123>>'|} [] + let type_comparaison () = _test_instruction {|(abc = '123')|} [] let type_comparaison_mismatch () = @@ -52,6 +55,7 @@ let test = [ Alcotest.test_case "Assign" `Quick type_mismatch; Alcotest.test_case "Conversion" `Quick type_conversion; + Alcotest.test_case "Conversion'" `Quick type_conversion'; Alcotest.test_case "Comparaison" `Quick type_comparaison; Alcotest.test_case "Comparaison Mismatch" `Quick type_comparaison_mismatch; Alcotest.test_case "Wrong predicate" `Quick wrong_predicate; -- cgit v1.2.3