diff options
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 |