From b8a082c940df58b03f45208a7a09ae36bf1f7634 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 24 Nov 2018 17:04:49 +0100
Subject: Remove the lexer field from Gramlib.

This is useless in the functorial API.
---
 gramlib/grammar.ml  | 4 ----
 gramlib/grammar.mli | 1 -
 2 files changed, 5 deletions(-)

(limited to 'gramlib')

diff --git a/gramlib/grammar.ml b/gramlib/grammar.ml
index 8f7953b714..ee7d62b869 100644
--- a/gramlib/grammar.ml
+++ b/gramlib/grammar.ml
@@ -794,8 +794,6 @@ let tokens g con =
     g.gtokens;
   !list
 
-let glexer g = g.glexer
-
 type 'te gen_parsable =
   { pa_chr_strm : char Stream.t;
     pa_tok_strm : 'te Stream.t;
@@ -851,7 +849,6 @@ module type S =
     type parsable
     val parsable : char Stream.t -> parsable
     val tokens : string -> (string * int) list
-    val glexer : te Plexing.lexer
     module Entry :
       sig
         type 'a e
@@ -906,7 +903,6 @@ module GMake (L : GLexerType) =
       let (ts, lf) = L.lexer.Plexing.tok_func cs in
       {pa_chr_strm = cs; pa_tok_strm = ts; pa_loc_func = lf}
     let tokens = tokens gram
-    let glexer = glexer gram
     module Entry =
       struct
         type 'a e = te g_entry
diff --git a/gramlib/grammar.mli b/gramlib/grammar.mli
index 4b61286859..bde07ddc48 100644
--- a/gramlib/grammar.mli
+++ b/gramlib/grammar.mli
@@ -25,7 +25,6 @@ module type S =
     type parsable
     val parsable : char Stream.t -> parsable
     val tokens : string -> (string * int) list
-    val glexer : te Plexing.lexer
     module Entry :
       sig
         type 'a e
-- 
cgit v1.2.3