diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-05-09 16:08:50 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-05-10 19:28:24 +0200 |
| commit | 6150d15647afc739329019f7e9de595187ecc282 (patch) | |
| tree | 9dd5b05f3063e9ae0a0660089e6edb8c17e727b2 /intf | |
| parent | 9891f2321f13861e3f48ddb28abcd5a77be30791 (diff) | |
Removing the Entry module now that rules need not be marshalled.
Diffstat (limited to 'intf')
| -rw-r--r-- | intf/extend.mli | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/intf/extend.mli b/intf/extend.mli index 381d47dd1..3deb8233f 100644 --- a/intf/extend.mli +++ b/intf/extend.mli @@ -8,6 +8,8 @@ (** Entry keys for constr notations *) +type 'a entry = 'a Compat.GrammarMake(CLexer).entry + type side = Left | Right type gram_assoc = NonA | RightA | LeftA @@ -84,8 +86,8 @@ type ('self, 'a) symbol = | Aopt : ('self, 'a) symbol -> ('self, 'a option) symbol | Aself : ('self, 'self) symbol | Anext : ('self, 'self) symbol -| Aentry : 'a Entry.t -> ('self, 'a) symbol -| Aentryl : 'a Entry.t * int -> ('self, 'a) symbol +| Aentry : 'a entry -> ('self, 'a) symbol +| Aentryl : 'a entry * int -> ('self, 'a) symbol | Arules : 'a rules -> ('self, 'a index) symbol and ('self, _, 'r) rule = |