diff options
| author | Pierre-Marie Pédrot | 2018-10-04 11:18:02 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-04 11:18:02 +0200 |
| commit | 8a5cb2d9da73b94e1713f5ee6cba73e0680f20fb (patch) | |
| tree | b66c100bb04261b43970d630b1cbf30b552fe90a /parsing | |
| parent | 79da82da057224eec8abaf96c20b0725f18b2945 (diff) | |
| parent | 87d5e79baea4f3679a1429d2a2e128b564eec5d5 (diff) | |
Merge PR #8626: [ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/pcoq.mli | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/parsing/pcoq.mli b/parsing/pcoq.mli index e12ccaa636..c21f8f0d9a 100644 --- a/parsing/pcoq.mli +++ b/parsing/pcoq.mli @@ -26,14 +26,10 @@ module Gram : sig type 'a entry = 'a Entry.e [@@ocaml.deprecated "Use [Pcoq.Entry.t]"] - [@@@ocaml.warning "-3"] - - val entry_create : string -> 'a entry + val entry_create : string -> 'a Entry.e [@@ocaml.deprecated "Use [Pcoq.Entry.create]"] - val gram_extend : 'a entry -> 'a Extend.extend_statement -> unit - - [@@@ocaml.warning "+3"] + val gram_extend : 'a Entry.e -> 'a Extend.extend_statement -> unit end with type 'a Entry.e = 'a Grammar.GMake(CLexer).Entry.e |