diff options
| author | Chimrod <> | 2024-06-06 15:11:05 +0200 |
|---|---|---|
| committer | Chimrod <> | 2024-06-06 15:11:05 +0200 |
| commit | 89c19613764368afba6659e8586dec010c9b9d6b (patch) | |
| tree | 803ad12c0b9b7effc0e5d0b50ce049f036fa0811 /test/type_of.ml | |
| parent | 4535058e48fc8edc44be20b92a182279eb9e1569 (diff) | |
Forgot the case where + is used as a concatenation operator
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; ] ) |