MinaProtocol / mina / 358

Committed 13 Jun 2025 03:53PM UTC coverage: 31.724% (-15.4%) from 47.137%

Build # 358

Build Type

push

buildkite

Committed by

Commit Message

Merge pull request #17410 from MinaProtocol/georgeee/synchronize-develop-compatible

Synchronize `develop` and `compatible` branches

Coverage Stats

33 of 352 new or added lines in 20 files covered. (9.38%)

18725 existing lines in 383 files now uncovered.

22485 of 70878 relevant lines covered (31.72%)

27782.14 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

16.67

/src/lib/rosetta_lib/validation.ml

1	open Core_kernel	10✔
2
3	(* Applicative validation -- like https://hackage.haskell.org/package/validation-1.1/docs/Data-Validation.html *)
4	module T = struct
5	type ('a, 'b) t = ('a, 'b list) Result.t
6
UNCOV 7	let map = `Custom (fun t ~f -> Result.map ~f t)	×
8
UNCOV 9	let return a = Result.return a	×
10
UNCOV 11	let fail e = Result.fail [ e ]	×
12
13	let apply ft t =
UNCOV 14	match (ft, t) with	×
UNCOV 15	\| Ok f, Ok a ->	×
UNCOV 16	Ok (f a)	×
UNCOV 17	\| Error es, Ok _ ->	×
18	Error es
UNCOV 19	\| Ok _, Error es ->	×
20	Error es
UNCOV 21	\| Error es, Error es' ->	×
22	Error (es @ es')
23	end
24
25	include T
26	include Applicative.Make2 (T)
27
28	module Let_syntax = struct
29	let return = return
30
31	module Let_syntax = struct
32	let return = return
33
34	let map = map
35
UNCOV 36	let both t1 t2 = apply (map t1 ~f:(fun x y -> (x, y))) t2	×
37
38	module Open_on_rhs = struct end
39	end
40	end	10✔