From 3edf9e19972a11eb652ed2fb9a8288d005dc2927 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 30 Nov 2018 15:04:02 +0100
Subject: Remove the Like level modifier from gramlib.

Apart from the fact we did not use it, its semantics was somewhat flaky as
it was looking for any rule containing some token.
---
 gramlib/gramext.ml  | 36 ------------------------------------
 gramlib/gramext.mli |  1 -
 2 files changed, 37 deletions(-)

diff --git a/gramlib/gramext.ml b/gramlib/gramext.ml
index f8259b4570..46c2688f05 100644
--- a/gramlib/gramext.ml
+++ b/gramlib/gramext.ml
@@ -52,7 +52,6 @@ type position =
   | Last
   | Before of string
   | After of string
-  | Like of string
   | Level of string
 
 let rec derive_eps =
@@ -154,27 +153,6 @@ let is_level_labelled n lev =
     Some n1 -> n = n1
   | None -> false
 
-let rec token_exists_in_level f lev =
-  token_exists_in_tree f lev.lprefix || token_exists_in_tree f lev.lsuffix
-and token_exists_in_tree f =
-  function
-    Node n ->
-      token_exists_in_symbol f n.node || token_exists_in_tree f n.brother ||
-      token_exists_in_tree f n.son
-  | LocAct (_, _) | DeadEnd -> false
-and token_exists_in_symbol f =
-  function
-  | Slist0 sy -> token_exists_in_symbol f sy
-  | Slist0sep (sy, sep, _) ->
-      token_exists_in_symbol f sy || token_exists_in_symbol f sep
-  | Slist1 sy -> token_exists_in_symbol f sy
-  | Slist1sep (sy, sep, _) ->
-      token_exists_in_symbol f sy || token_exists_in_symbol f sep
-  | Sopt sy -> token_exists_in_symbol f sy
-  | Stoken tok -> f tok
-  | Stree t -> token_exists_in_tree f t
-  | Snterm _ | Snterml (_, _) | Snext | Sself -> false
-
 let insert_level ~warning entry_name e1 symbols action slev =
   match e1 with
     true ->
@@ -265,20 +243,6 @@ let get_level ~warning entry position levs =
               let (levs1, rlev, levs2) = get levs in lev :: levs1, rlev, levs2
       in
       get levs
-  | Some (Like n) ->
-      let f (tok, prm) = n = tok || n = prm in
-      let rec get =
-        function
-          [] ->
-            eprintf "No level with \"%s\" in entry \"%s\"\n" n entry.ename;
-            flush stderr;
-            failwith "Grammar.extend"
-        | lev :: levs ->
-            if token_exists_in_level f lev then [], change_lev ~warning lev n, levs
-            else
-              let (levs1, rlev, levs2) = get levs in lev :: levs1, rlev, levs2
-      in
-      get levs
   | None ->
       match levs with
         lev :: levs -> [], change_lev ~warning lev "<top>", levs
diff --git a/gramlib/gramext.mli b/gramlib/gramext.mli
index 7fad01c6a4..f1e294fb4c 100644
--- a/gramlib/gramext.mli
+++ b/gramlib/gramext.mli
@@ -50,7 +50,6 @@ type position =
   | Last
   | Before of string
   | After of string
-  | Like of string
   | Level of string
 
 val levels_of_rules : warning:(string -> unit) option ->
-- 
cgit v1.2.3