diff options
| author | Chimrod <> | 2025-04-25 14:24:32 +0200 |
|---|---|---|
| committer | Chimrod <> | 2025-04-25 14:24:32 +0200 |
| commit | 406b7b79cd375b071f92ddee9cee14a98dc91281 (patch) | |
| tree | ff90383b0d533a0a3be068ee7769195e16cec45e | |
| parent | a5d4b07dbd2b3aec3e8f9a36bbe50c86fc32cf28 (diff) | |
Allow casting from Integer to String without warning
| -rw-r--r-- | lib/checks/get_type.ml | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/lib/checks/get_type.ml b/lib/checks/get_type.ml index 04bf780..2486afa 100644 --- a/lib/checks/get_type.ml +++ b/lib/checks/get_type.ml @@ -107,7 +107,7 @@ let function_ : S.pos -> T.function_ -> t list -> t = | Input | Input' -> Variable NumericString | Isnum -> Raw Bool | Lcase | Lcase' | Ucase | Ucase' -> Raw String - | Len -> Raw Integer + | Len -> Variable Integer | Loc -> Variable Bool | Max | Max' | Min | Min' -> ( match params with @@ -115,18 +115,18 @@ let function_ : S.pos -> T.function_ -> t list -> t = | Raw String :: [] | Variable String :: [] -> Variable NumericString | hd :: _ -> hd) | Mid | Mid' -> Variable String - | Msecscount -> Raw Integer - | Rand -> Raw Integer + | Msecscount -> Variable Integer + | Rand -> Variable Integer | Replace -> Variable String | Replace' -> Variable String - | Rgb -> Raw Integer - | Rnd -> Raw Integer + | Rgb -> Variable Integer + | Rnd -> Variable Integer | Selact -> Variable String | Str | Str' -> Raw String | Strcomp -> Raw Bool | Strfind -> Variable String | Strfind' -> Variable String - | Strpos -> Raw Integer + | Strpos -> Variable Integer | Trim -> Variable String | Trim' -> Variable String - | Val -> Raw Integer + | Val -> Variable Integer |