diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/type_of.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/type_of.ml b/test/type_of.ml index aac928e..e5db14e 100644 --- a/test/type_of.ml +++ b/test/type_of.ml @@ -74,6 +74,7 @@ let wrong_predicate () = ] let concat_text () = _test_instruction {|$a = 'A' + 1|} [] +let increment_string () = _test_instruction {|$a += 1|} (message' Error) let test = ( "Typechecking", @@ -93,4 +94,5 @@ let test = 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; + Alcotest.test_case "str += int" `Quick increment_string; ] ) |