MAJ terminée. Nous sommes passés en version 14.6.2 . Pour consulter les "releases notes" associées c'est ici :

https://about.gitlab.com/releases/2022/01/11/security-release-gitlab-14-6-2-released/
https://about.gitlab.com/releases/2022/01/04/gitlab-14-6-1-released/

Commit 28dfec82 authored by Stephane Glondu's avatar Stephane Glondu
Browse files

Cleanup

parent befe5fcf
......@@ -12,12 +12,6 @@ module Array = struct
else true
in check (pred n))
let foralli f x =
let rec loop i =
if i >= 0 then f i x.(i) && loop (pred i)
else true
in loop (pred (Array.length x))
let fforall f xs =
let rec loop_outer i =
if i >= 0 then
......
......@@ -9,7 +9,6 @@ end
module Array : sig
include module type of Array
val forall2 : ('a -> 'b -> bool) -> 'a array -> 'b array -> bool
val foralli : (int -> 'a -> bool) -> 'a array -> bool
val fforall : ('a -> bool) -> 'a array array -> bool
val fforall2 : ('a -> 'b -> bool) ->
'a array array -> 'b array array -> bool
......
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