diff options
| author | Emilio Jesus Gallego Arias | 2018-10-02 15:59:06 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-02 16:00:22 +0200 |
| commit | 87d5e79baea4f3679a1429d2a2e128b564eec5d5 (patch) | |
| tree | b8c6f4999bbb806bcceaec22fbe482a839246cfd /parsing/pcoq.mli | |
| parent | e65d160d5fa4e0b8b5754b0925b0b5a880523bc5 (diff) | |
[ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0
Diffstat (limited to 'parsing/pcoq.mli')
| -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 |