diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/get_type.ml | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/test/get_type.ml b/test/get_type.ml index 40b3151..55f087e 100644 --- a/test/get_type.ml +++ b/test/get_type.ml @@ -66,6 +66,30 @@ let literal_4 () = let msg = "" in Alcotest.(check' type_of ~msg ~expected ~actual) +let min () = + let actual = Get_type.function_ _position T.Min [] in + let expected = Get_type.(Raw Bool) in + let msg = "The function min without argument return a default value" in + Alcotest.(check' type_of ~msg ~expected ~actual); + + let actual = + Get_type.function_ _position T.Min [ Get_type.literal _position [] ] + in + let expected = Get_type.(Variable NumericString) in + let msg = + "The function min with a literal will take the literal as the name of an \ + array" + in + Alcotest.(check' type_of ~msg ~expected ~actual); + + let actual = + Get_type.function_ _position T.Min + [ Get_type.integer _position ""; Get_type.integer _position "" ] + in + let expected = Get_type.(Raw Integer) in + let msg = "With two or more arguments, return the type of the first one" in + Alcotest.(check' type_of ~msg ~expected ~actual) + let test = ( "Type expression", [ @@ -76,4 +100,5 @@ let test = Alcotest.test_case "1<<int>>" `Quick literal_2; Alcotest.test_case "b<<int>>" `Quick literal_3; Alcotest.test_case "<<$int>>" `Quick literal_4; + Alcotest.test_case "min" `Quick min; ] ) |