From 406b7b79cd375b071f92ddee9cee14a98dc91281 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Fri, 25 Apr 2025 14:24:32 +0200
Subject: Allow casting from Integer to String without warning

---
 lib/checks/get_type.ml | 14 +++++++-------
 1 file 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
-- 
cgit v1.2.3