Nous avons procédé ce jeudi matin 08 avril 2021 à une MAJ de sécurité urgente. Nous sommes passé de la version 13.9.3 à la version 13.9.5 les releases notes correspondantes sont ici:
https://about.gitlab.com/releases/2021/03/17/security-release-gitlab-13-9-4-released/
https://about.gitlab.com/releases/2021/03/31/security-release-gitlab-13-10-1-released/

interface.mli 756 Bytes
Newer Older
1 2 3 4 5 6 7 8
(* This module defines the interface of the generated parser. *)

(* This is the [Error] exception. *)

val excname: string
val excdef: IL.excdef
val excredef: IL.excdef

9
(* The type of the entry point for the start symbol [nt]. *)
10

11
val entrytypescheme: UnparameterizedSyntax.grammar -> string -> IL.typescheme
12

13 14 15 16 17 18 19 20 21
(* The name of the interpreter sub-module, when the table back-end
   is used. *)

val interpreter: string

(* The type ['a result], defined in the interpreter sub-module. *)

val result: IL.typ -> IL.typ

22
(* The name of the sub-module that contains the incremental entry points. *)
23

24
val incremental: string
25

26
(* This writes the interface of the generated parser to the [.mli] file. *)
27

28
val write: UnparameterizedSyntax.grammar -> unit -> unit
29