• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

moonbitlang / core / 5318
91%

Build:
DEFAULT BRANCH: main
Ran 22 Jul 2026 08:56AM UTC
Jobs 1
Files 399
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

22 Jul 2026 08:55AM UTC coverage: 91.293%. Remained the same
5318

push

github

bobzhang
feat(immut/sorted_set): make trait promotions explicit via extend

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

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

Only `compare` is promoted from Compare (callers use `<`/`<=`/`>=`/`>`).
SortedSet is a collection, so its Show is deprecated in favour of @debug.Debug.
The deprecated promotions carry #doc(hidden), so pkg.generated.mbti gains only
SortedSet::{compare, default, sub}.

Part of the per-package series (see #3849 for deque). Scoped to immut/sorted_set/.

Verified: `moon check --deny-warn --target all` clean; `moon test -p immut/sorted_set --target all` green.

Reviewed by Codex CLI: shim covers exactly the flagged methods (3 promoted, 11
deprecated), split matches policy, generic hash_combine stays trait dispatch,
.mbti adds only SortedSet::{compare,default,sub}, scoped to immut/sorted_set/.

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%)

189078.52 hits per line

Jobs
ID Job ID Ran Files Coverage
1 5318.1 22 Jul 2026 08:56AM UTC 400
91.31
GitHub Action Run
Source Files on build 5318
  • Tree
  • List 399
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • d0e3c275 on github
  • Prev Build on main (#5311)
  • Next Build on main (#5327)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE TRIAL · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc