diff options
Diffstat (limited to 'test/type_of.ml')
| -rw-r--r-- | test/type_of.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/type_of.ml b/test/type_of.ml index e5db14e..e5f7f9b 100644 --- a/test/type_of.ml +++ b/test/type_of.ml @@ -26,7 +26,7 @@ let _test_instruction : string -> Qsp_syntax.Report.t list -> unit = Check._test_instruction let type_mismatch () = _test_instruction {|abc = 'ABC'|} (message Error) -let assign_int_str () = _test_instruction {|$abc = 123|} [] +let assign_int_str () = _test_instruction {|$abc = 123|} (message Warn) let type_mismatch2 () = _test_instruction {|abc[''] = $Var|} (message Warn) let type_conversion () = @@ -80,7 +80,7 @@ let test = ( "Typechecking", [ Alcotest.test_case "Assign str to int" `Quick type_mismatch; - Alcotest.test_case "Assign int to str" `Quick assign_int_str; + Alcotest.test_case "$str = int" `Quick assign_int_str; Alcotest.test_case "Assign array" `Quick type_mismatch2; Alcotest.test_case "Conversion" `Quick type_conversion; Alcotest.test_case "Conversion'" `Quick type_conversion'; @@ -94,5 +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; + Alcotest.test_case "str += int" `Quick increment_string; ] ) |