diff options
Diffstat (limited to 'test/type_of.ml')
| -rw-r--r-- | test/type_of.ml | 3 |
1 files changed, 3 insertions, 0 deletions
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; ] ) |