diff options
Diffstat (limited to 'lib/syntax')
| -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 | 
