From 289f1c91a11bd69a9a1239cba5e6390f6d1e592e Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Mon, 15 Jan 2024 11:12:36 +0100 Subject: Do not raise type error on dyneval function --- lib/syntax/get_type.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib') diff --git a/lib/syntax/get_type.ml b/lib/syntax/get_type.ml index a9ec48d..4dee125 100644 --- a/lib/syntax/get_type.ml +++ b/lib/syntax/get_type.ml @@ -64,10 +64,10 @@ let function_ : S.pos -> T.function_ -> t list -> t = fun pos function_ params -> ignore pos; match function_ with - | Arrcomp | Arrpos | Arrsize | Countobj | Desc | Dyneval | Getobj | Instr - | Isplay -> + | Dyneval | Dyneval' -> Variable NumericString + | Arrcomp | Arrpos | Arrsize | Countobj | Desc | Getobj | Instr | Isplay -> Variable Integer - | Desc' | Dyneval' | Getobj' -> Variable String + | Desc' | Getobj' -> Variable String | Func | Func' -> Variable NumericString | Iif | Iif' -> ( match params with _ :: t :: _ -> t | _ -> Raw Bool) | Input | Input' -> Variable NumericString -- cgit v1.2.3