|
@@ -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
|