1
91%
main: 91%

Ran 16 Jul 2026 07:12AM UTC

Files 387

Run time 13s

Badge

Embed ▾

Committed 16 Jul 2026 07:11AM UTC coverage: 91.278% (+0.03%) from 91.251%

Job # 5174.1

Build Type

push

github

Committed by

bobzhang

Commit Message

refactor: adopt or-pattern `with` defaults to merge match arms

Use the new `Pat1(x) | (Pat2 with x = default)` or-pattern syntax to
merge arms that previously duplicated a body with a fixed value for a
binder (each `with` alternative is enclosed in parentheses, with a
flat binding list: `(Pat with a = e1, b = e2)`):

- previously-inexpressible merges: argparse `arg_display` (multi-binder
  `(PositionalInfo(_) with short = None, long = None)`),
  `SortedSet::length`, `Iter::zip` size hint, `List::drop` /
  `List::remove_at`, and the regex smart constructors (`seq`/`alt`/
  `e_alt`)
- deduplicated arm bodies: `HashSet` capacity clamping, `json_inspect`,
  `assert_true` / `assert_false`, `@test.assert_not_eq`
- single-arm unwraps: `Option`/`Result` `unwrap_or{,_default}`,
  `SortedMap::get_or_default`, and the `end? : Int` slicing defaults in
  builtin view constructors

`unwrap_or_else` keeps its two arms: calls that may raise are not
allowed inside a `with` default value.

No public API changes (`pkg.generated.mbti` unchanged); all 6715 tests
pass.
Reviewed by Codex CLI (codex-cli 0.144.1): "No findings. The
order-sensitive merges at builtin/iterator.mbt, list/list.mbt preserve
precedence... exhaustiveness is unchanged."

Signed-off-by: Codex CLI <codex@openai.com>
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Coverage Stats

15751 of 17256 relevant lines covered (91.28%)

190576.07 hits per line

moonbitlang / core / 5174 / 1
91%
main: 91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 5174.1

moonbitlang / core / 5174 / 1 91% main: 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 5174.1

moonbitlang / core / 5174 / 1
91%
main: 91%

README BADGES
x