From b095fc74b7f0be690a5313b992d4d4750c86875f Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 28 Feb 2020 16:06:23 -0500
Subject: [gramlib] Refactor gramlib interface.

This is in preparation for making the Gramlib interface the canonical
one; see #11647 .

I tried to implement some of the ideas that were floated around in a
chat with Pierre-Marie, suggestions / comments are welcome.
---
 parsing/extend.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'parsing/extend.ml')

diff --git a/parsing/extend.ml b/parsing/extend.ml
index 848861238a..c53c3f02a8 100644
--- a/parsing/extend.ml
+++ b/parsing/extend.ml
@@ -10,7 +10,7 @@
 
 (** Entry keys for constr notations *)
 
-type 'a entry = 'a Gramlib.Grammar.GMake(CLexer.Lexer).Entry.e
+type 'a entry = 'a Gramlib.Grammar.GMake(CLexer.Lexer).Entry.t
 
 type side = Left | Right
 
@@ -82,8 +82,8 @@ type ('a,'b,'c) ty_user_symbol =
 
 (* Should be merged with gramlib's implementation *)
 
-type norec = Gramlib.Grammar.ty_norec
-type mayrec = Gramlib.Grammar.ty_mayrec
+type norec = Gramlib.Grammar.norec
+type mayrec = Gramlib.Grammar.mayrec
 
 type ('self, 'trec, 'a) symbol =
 | Atoken : 'c Tok.p -> ('self, norec, 'c) symbol
-- 
cgit v1.2.3