11128916447
80%

Ran 01 Oct 2024 03:51PM UTC

Jobs 1

Files 37

Run time 1min

Badge

Embed ▾

Committed 01 Oct 2024 03:37PM UTC coverage: 78.279%. Remained the same

Build # 11128916447

Build Type

push

github

Committed by

web-flow

Commit Message

Prefer List.concat_map (#6029)

Initially, this was solely a large-scale exercise in replacing all
occurrences of `List.flatten` with `List.concat` (`concat` is an alias
of `flatten` and is more consistent with the naming of `concat_map`). In
the end, I made a small effort to attempt to replace occurrences of the
pattern `concat (map f xs)` with `concat_map f xs`. There are probably a
few places that I've missed.

---

I'm keen on:

- Squashing all of this
- Adding the squashed commit's hash to `.git-blame-ignore-revs` (there
is a lot of whitespace churn due to the general code style of writing
lots of anonymous function)
- Finding missed occurrences using structural grepping
- Adding a rule to quality gate that disallows `List.flatten`

---

In future, we should define a bunch of list-related optimisations
(fusing, reordering, etc.) and try to replace those as well.

Run Details

3456 of 4415 relevant lines covered (78.28%)

0.78 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	python3.11 - 11128916447.1	01 Oct 2024 03:51PM UTC	37	78.28	GitHub Action Run

xapi-project / xen-api / 11128916447
80%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 11128916447

xapi-project / xen-api / 11128916447 80%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 11128916447

xapi-project / xen-api / 11128916447
80%

README BADGES
x