From ef3079e22fa7941d3335d7779c840e8d2d2bde39 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 21 Feb 2020 14:18:37 -0500
Subject: [parsing] Move comments lexer extensions to base lexer interface

This makes sense as a step towards a more functional handling of the
state.
---
 gramlib/grammar.ml | 15 +--------------
 1 file changed, 1 insertion(+), 14 deletions(-)

(limited to 'gramlib/grammar.ml')

diff --git a/gramlib/grammar.ml b/gramlib/grammar.ml
index 814844508b..834850082e 100644
--- a/gramlib/grammar.ml
+++ b/gramlib/grammar.ml
@@ -8,19 +8,6 @@ open Util
 
 (* Functorial interface *)
 
-module type GLexerType = sig
-  include Plexing.Lexer
-
-  module State : sig
-    type t
-    val init : unit -> t
-    val set : t -> unit
-    val get : unit -> t
-    val drop : unit -> unit
-    val get_comments : t -> ((int * int) * string) list
-  end
-end
-
 type norec
 type mayrec
 
@@ -115,7 +102,7 @@ end
 
 (* Implementation *)
 
-module GMake (L : GLexerType) = struct
+module GMake (L : Plexing.S) = struct
 
 type te = L.te
 type 'c pattern = 'c L.pattern
-- 
cgit v1.2.3