From 9b831d2a2401c771cf43a37b27c8909d6b9c9ba8 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Wed, 25 Dec 2024 20:52:03 +0100
Subject: Fixed a bug in the analysis of the min arguments

---
 lib/checks/get_type.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'lib/checks')

diff --git a/lib/checks/get_type.ml b/lib/checks/get_type.ml
index a73eb1b..04bf780 100644
--- a/lib/checks/get_type.ml
+++ b/lib/checks/get_type.ml
@@ -110,7 +110,10 @@ let function_ : S.pos -> T.function_ -> t list -> t =
   | Len -> Raw Integer
   | Loc -> Variable Bool
   | Max | Max' | Min | Min' -> (
-      try List.hd params with Failure _ -> Raw Bool)
+      match params with
+      | [] -> Raw Bool
+      | Raw String :: [] | Variable String :: [] -> Variable NumericString
+      | hd :: _ -> hd)
   | Mid | Mid' -> Variable String
   | Msecscount -> Raw Integer
   | Rand -> Raw Integer
-- 
cgit v1.2.3