diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/syntax/get_type.ml | 6 |
1 files changed, 3 insertions, 3 deletions
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 |