moonbitlang / core / 5278
91%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 392
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 91.293%. Remained the same
5278

push

github

bobzhang 
feat(list): make trait promotions explicit via extend

Enable `implicit_impl_as_method` (E0079) for the `list` package (in its moon.pkg)
and make its trait-impl promotions explicit via `extend`, in a dedicated
list/extends.mbt shim (promotions first, deprecations after):

- Promote (plain `pub extend`): Compare::{compare}, Default.
- Deprecate (`#deprecated(..., skip_current_package=true)` + `#doc(hidden)`):
  Compare's operators (op_ge/op_gt/op_le/op_lt), Eq, Hash, @quickcheck.Arbitrary,
  and the whole Show trait (to_string + output).

Only `compare` is promoted from Compare (callers use `<`/`<=`/`>=`/`>`, never
x.op_lt(y)). List is a collection, so -- like Rust (Debug, not Display) -- Show is
deprecated in favour of @debug.Debug (List's Show impl is already #deprecated on
main). The deprecated promotions carry #doc(hidden), so pkg.generated.mbti gains
only the promoted List::compare and List::default.

Also migrates list's own blackbox test off the now-deprecated promoted `.hash()`
(`l.hash()` -> `Hash::hash(l)`).

Part of the per-package series migrating the library off implicit method
promotion (see #3849 for deque). Scoped to list/.

Verified: `moon check --deny-warn --target all` clean; `moon test --target all`
green.

Reviewed by Codex CLI: exact coverage of the flagged methods (Add/JSON/Debug
already handled explicitly), promote/deprecate split matches the deque policy,
no remaining cross-package deprecated callers, .mbti adds only List::compare and
List::default, scoped to list/.

Signed-off-by: Codex CLI <codex@openai.com>
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

15885 of 17400 relevant lines covered (91.29%)

196792.1 hits per line

Jobs
ID Job ID Ran Files Coverage
1 5278.1 393
91.31
 GitHub Action Run
Source Files on build 5278