diff options
| author | Chimrod <> | 2024-01-15 11:12:36 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-01-15 11:12:36 +0100 |
| commit | 289f1c91a11bd69a9a1239cba5e6390f6d1e592e (patch) | |
| tree | fbf343ec98c5b0c4385ce278f95d71c72a80cf34 /lib | |
| parent | c48740e598132261e20260678ff2feb3b398d913 (diff) | |
Do not raise type error on dyneval function
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 |