diff options
Diffstat (limited to 'lib/syntax')
| -rw-r--r-- | lib/syntax/get_type.ml | 2 | ||||
| -rw-r--r-- | lib/syntax/t.ml | 4 | ||||
| -rw-r--r-- | lib/syntax/type_of.ml | 2 |
3 files changed, 2 insertions, 6 deletions
diff --git a/lib/syntax/get_type.ml b/lib/syntax/get_type.ml index 4dee125..c8af9ec 100644 --- a/lib/syntax/get_type.ml +++ b/lib/syntax/get_type.ml @@ -85,8 +85,6 @@ let function_ : S.pos -> T.function_ -> t list -> t = | Rgb -> Raw Integer | Rnd -> Raw Integer | Selact -> Variable String - | Stattxt -> Variable String - | Stattxt' -> Variable String | Str | Str' -> Raw String | Strcomp -> Raw Bool | Strfind -> Variable String diff --git a/lib/syntax/t.ml b/lib/syntax/t.ml index 697b18e..cb9c7ce 100644 --- a/lib/syntax/t.ml +++ b/lib/syntax/t.ml @@ -70,8 +70,6 @@ type function_ = | Rgb | Rnd | Selact - | Stattxt - | Stattxt' | Str | Str' | Strcomp @@ -128,6 +126,8 @@ type keywords = | ShowInput | ShowObjs | ShowStat + | Stattxt + | Stattxt' | Unselect | View | Wait diff --git a/lib/syntax/type_of.ml b/lib/syntax/type_of.ml index 4344a11..239717c 100644 --- a/lib/syntax/type_of.ml +++ b/lib/syntax/type_of.ml @@ -273,8 +273,6 @@ module TypedExpression = struct let report = Helper.compare_args pos [] types report in (default, report) | Selact -> (default, report) - | Stattxt -> (default, report) - | Stattxt' -> (default, report) | Str | Str' -> let expected = Helper.[ Variable (Fixed Integer) ] in let report = Helper.compare_args pos expected types report in |