diff options
| author | Chimrod <> | 2024-12-25 20:52:03 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-12-25 21:42:18 +0100 |
| commit | 9b831d2a2401c771cf43a37b27c8909d6b9c9ba8 (patch) | |
| tree | a0d4ec0f1821731cb1e23363806f0cdd420e213b /lib/checks | |
| parent | 706e2132e443ed422912264f0401ee607d1d2ef5 (diff) | |
Fixed a bug in the analysis of the min arguments
Diffstat (limited to 'lib/checks')
| -rw-r--r-- | lib/checks/get_type.ml | 5 |
1 files changed, 4 insertions, 1 deletions
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 |