diff options
Diffstat (limited to 'test/type_of.ml')
-rw-r--r-- | test/type_of.ml | 25 |
1 files changed, 13 insertions, 12 deletions
diff --git a/test/type_of.ml b/test/type_of.ml index e5f7f9b..53d01bd 100644 --- a/test/type_of.ml +++ b/test/type_of.ml @@ -22,25 +22,26 @@ let message' level = }; ] +let integer_as_string = + [ + Qsp_syntax.Report. + { + level = Warn; + loc = _position; + message = "The type Integer is expected but got Integer as String"; + }; + ] + 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|} (message Warn) let type_mismatch2 () = _test_instruction {|abc[''] = $Var|} (message Warn) +let type_conversion () = _test_instruction {|abc = '123'|} integer_as_string -let type_conversion () = - _test_instruction {|abc = '123'|} - [ - { - level = Warn; - loc = _position; - message = "The type Integer is expected but got Integer as String"; - }; - ] - -(** This expression is not considered as a string *) -let type_conversion' () = _test_instruction {|abc = '<<123>>'|} [] +let type_conversion' () = + _test_instruction {|abc = '<<123>>'|} integer_as_string let type_comparaison () = _test_instruction {|(abc = '123')|} [] let type_comparaison_eq () = _test_instruction {|($abc = 123)|} (message Warn) |