Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

Commit b6469a4b authored by POTTIER Francois's avatar POTTIER Francois

Added [tokengadtdata].

parent a86834b3
......@@ -189,3 +189,6 @@ let tctokengadt =
let ttokengadt a =
TypApp (tctokengadt, [ a ])
let tokengadtdata token =
tokenprefix (ttokengadtdata token)
......@@ -33,6 +33,11 @@ val tokendata: string -> string
val ttokengadt: IL.typ -> IL.typ
(* [tokengadtdata] maps the name of a token to a data constructor of the token
GADT. *)
val tokengadtdata: string -> string
(* These are the definitions of the types of tokens, for use by the code
generators. This can be a list of zero, one, or two types. Indeed, this
list is empty when [--external-tokens] is set. Otherwise, it contains just
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment