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/

Commit 941672fa authored by Clément Fumex's avatar Clément Fumex

... and make it compile

parent db3112b7
......@@ -415,11 +415,12 @@ let rec wrap : type a. a trans_typ -> a -> trans_with_args =
end
(* example of use: TO BE REMOVED*)
let case : term -> task -> task list = assert false
let aus : int -> term -> string -> task -> task list = assert false
(*
let case : term -> task -> task list = ...
let aus : int -> term -> string -> task -> task list = ...
let case' = wrap (Tterm Ttrans) case
let aus' = wrap (Tint (Tterm (Tstring Ttrans))) aus
let case' = wrap (Tterm Ttrans) case
let aus' = wrap (Tint (Tterm (Tstring Ttrans))) aus *)
(*
......
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