Move most of Gramext into Grammar.

This module was defining unsafe functions and datatypes only relevant to the
grammar engine. We hide them under the API so as to be able to later clean
it up.

1 files changed, 1 insertions, 54 deletions

diff --git a/gramlib/gramext.mli b/gramlib/gramext.mli
index f1e294fb4c..f9daf5bf10 100644
--- a/gramlib/gramext.mli
+++ b/gramlib/gramext.mli
@@ -2,49 +2,6 @@
 (* gramext.mli,v *)
 (* Copyright (c) INRIA 2007-2017 *)
 
-type 'a parser_t = 'a Stream.t -> Obj.t
-
-type 'te grammar =
-  { gtokens : (Plexing.pattern, int ref) Hashtbl.t;
-    glexer : 'te Plexing.lexer }
-
-type 'te g_entry =
-  { egram : 'te grammar;
-    ename : string;
-    elocal : bool;
-    mutable estart : int -> 'te parser_t;
-    mutable econtinue : int -> int -> Obj.t -> 'te parser_t;
-    mutable edesc : 'te g_desc }
-and 'te g_desc =
-    Dlevels of 'te g_level list
-  | Dparser of 'te parser_t
-and 'te g_level =
-  { assoc : g_assoc;
-    lname : string option;
-    lsuffix : 'te g_tree;
-    lprefix : 'te g_tree }
-and g_assoc = NonA | RightA | LeftA
-and 'te g_symbol =
-  | Snterm of 'te g_entry
-  | Snterml of 'te g_entry * string
-  | Slist0 of 'te g_symbol
-  | Slist0sep of 'te g_symbol * 'te g_symbol * bool
-  | Slist1 of 'te g_symbol
-  | Slist1sep of 'te g_symbol * 'te g_symbol * bool
-  | Sopt of 'te g_symbol
-  | Sself
-  | Snext
-  | Stoken of Plexing.pattern
-  | Stree of 'te g_tree
-and g_action = Obj.t
-and 'te g_tree =
-    Node of 'te g_node
-  | LocAct of g_action * g_action list
-  | DeadEnd
-and 'te g_node =
-  { node : 'te g_symbol; son : 'te g_tree; brother : 'te g_tree }
-and err_fun = unit -> string
-
 type position =
     First
   | Last
@@ -52,14 +9,4 @@ type position =
   | After of string
   | Level of string
 
-val levels_of_rules : warning:(string -> unit) option ->
-  'te g_entry -> position option ->
-    (string option * g_assoc option * ('te g_symbol list * g_action) list)
-      list ->
-    'te g_level list
-
-val srules : warning:(string -> unit) option -> ('te g_symbol list * g_action) list -> 'te g_symbol
-val eq_symbol : 'a g_symbol -> 'a g_symbol -> bool
-
-val delete_rule_in_level_list :
-  'te g_entry -> 'te g_symbol list -> 'te g_level list -> 'te g_level list
+type g_assoc = NonA | RightA | LeftA