From 407e154baa44609dea9f6f1ade746e24d60e2513 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 9 Aug 2017 14:00:26 +0200
Subject: Rephrasing ETBinderList with a self-documenting and
 invariant-carrying argument.

---
 intf/extend.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'intf')

diff --git a/intf/extend.ml b/intf/extend.ml
index 5552bed559..e4d014a09c 100644
--- a/intf/extend.ml
+++ b/intf/extend.ml
@@ -29,6 +29,8 @@ type production_level =
   | NextLevel
   | NumLevel of int
 
+type binder_entry_kind = ETBinderOpen | ETBinderClosed of Tok.t list
+
 type ('lev,'pos) constr_entry_key_gen =
   | ETName | ETReference | ETBigint
   | ETBinder of bool
@@ -36,7 +38,7 @@ type ('lev,'pos) constr_entry_key_gen =
   | ETPattern
   | ETOther of string * string
   | ETConstrList of ('lev * 'pos) * Tok.t list
-  | ETBinderList of bool * Tok.t list
+  | ETBinderList of binder_entry_kind
 
 (** Entries level (left-hand-side of grammar rules) *)
 
-- 
cgit v1.2.3