diff options
author | Chimrod <> | 2023-10-30 08:22:39 +0100 |
---|---|---|
committer | Chimrod <> | 2023-11-02 14:53:02 +0100 |
commit | 05f74bee05c0c56da593a5e89069711d5993e3b1 (patch) | |
tree | d09dbc7fb8228b8091a48f7d4bf5f095638f2bad /test/type_of.ml | |
parent | a1bb96e73f54eaa7c7e4af5d930e9d10074afb08 (diff) |
Managed the strings in strings
Diffstat (limited to 'test/type_of.ml')
-rw-r--r-- | test/type_of.ml | 4 |
1 files changed, 4 insertions, 0 deletions
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; |