5571
91%

Ran 25 Jul 2026 01:57PM UTC

Jobs 1

Files 443

Run time 1min

Badge

Embed ▾

Committed 25 Jul 2026 01:57PM UTC coverage: 91.132%. Remained the same

Build # 5571

Build Type

push

github

Committed by

bobzhang

Commit Message

refactor(coverage): declare `Show` promotions explicitly

`coverage` was missing `warnings = "+implicit_impl_as_method"` in its
`moon.pkg`, so `impl Show for CoverageCounter` was still relying on the
deprecated implicit promotion of `to_string`/`output` to regular methods.

Enables the warning (matching every other package that impls a builtin trait)
and adds the explicit declarations in a new `coverage/extends.mbt`, following
the split used by `strconv`, `bigint`, `int16`, `v128`, `argparse` and `json`:

- `Show::to_string` is promoted. `CoverageCounter`'s rendering is its coverage
  dump format — `end()` calls `counter.to_string()` to emit it — so it has a
  canonical string form.
- `Show::output` is deprecated + `#doc(hidden)`, with the canonical message.
  Per AGENTS.md `Show::output` is never promoted.

`coverage/pkg.generated.mbti` gains `CoverageCounter::to_string`; `output` stays
out of the interface.

Also adds the missing trailing newline to `coverage/moon.pkg`.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

Coverage Stats

15640 of 17162 relevant lines covered (91.13%)

199521.39 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	5571.1	25 Jul 2026 01:57PM UTC	444	91.15	GitHub Action Run

moonbitlang / core / 5571
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5571

moonbitlang / core / 5571 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 5571

moonbitlang / core / 5571
91%

README BADGES
x