MinaProtocol / mina / 411

Committed 24 Jul 2025 03:14PM UTC coverage: 33.188% (-27.7%) from 60.871%

Build # 411

Build Type

push

buildkite

Committed by

Commit Message

Merge pull request #17541 from MinaProtocol/brian/merge-compatible-into-develop

Merge compatible into develop

Run Details

164 of 702 new or added lines in 96 files covered. (23.36%)

18243 existing lines in 393 files now uncovered.

23983 of 72264 relevant lines covered (33.19%)

24667.26 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	57✔
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	57✔