From c8fb3bdbf3d35c0fd4496d3150961e1fcb202f05 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Thu, 18 Jan 2024 08:25:54 +0100
Subject: Change STATTXT into an identifier instead of a function

---
 lib/syntax/get_type.ml | 2 --
 lib/syntax/t.ml        | 4 ++--
 lib/syntax/type_of.ml  | 2 --
 3 files changed, 2 insertions(+), 6 deletions(-)

(limited to 'lib/syntax')

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
-- 
cgit v1.2.3