1
78%
master: 80%

Ran 01 Oct 2024 03:41PM UTC

Files 37

Run time 1s

Badge

Embed ▾

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

Job # 11128721647.1

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

xapi-project / xen-api / 11128721647 / 1
78%
master: 80%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job python3.11 - 11128721647.1

xapi-project / xen-api / 11128721647 / 1 78% master: 80%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job python3.11 - 11128721647.1

xapi-project / xen-api / 11128721647 / 1
78%
master: 80%

README BADGES
x