diff options
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; |