1
77%
master: 77%

Ran 20 Dec 2022 11:43AM UTC

Files 385

Run time 16s

Badge

Embed ▾

Committed 20 Dec 2022 11:43AM UTC coverage: 92.83% (+0.3%) from 92.556%

Job # #37376.1

Build Type

push

local

Committed by

web-flow

Commit Message

allow external lattice to provide its own field-merge implementation (#47910)

When merging `PartialStruct`, we are currently merging their fields a
bit aggressively (#44404) in order to accelerate (or rather, guarantee) convergence.
However, when `PartialStruct` wraps external lattice elements, this can
be too aggressive since it does not use `tmerge(𝕃, fields...)` recursively
and thus the external lattice elements are not merged as expected.

This commit adds an additional lattice hook, `tmerge_field`, inside
`tmerge(::PartialsLattice)` so that external lattice implementation
can provide its own field-merge strategies.

Run Details

80302 of 86504 relevant lines covered (92.83%)

20912691.16 hits per line

JuliaLang / julia / #37376 / 1
77%
master: 77%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37376.1

JuliaLang / julia / #37376 / 1 77% master: 77%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #37376.1

JuliaLang / julia / #37376 / 1
77%
master: 77%

README BADGES
x