1
91%
main: 91%

Ran 25 Jul 2026 08:34AM UTC

Files 444

Run time 8s

Badge

Embed ▾

Committed 25 Jul 2026 08:33AM UTC coverage: 91.271% (+0.001%) from 91.27%

Job # 5551.1

Build Type

push

github

Committed by

bobzhang

Commit Message

feat(builtin): add `Json(x)` constructor for any `ToJson` value

`Json::Json` converts any `ToJson` value into a `Json`. Being the constructor of
`Json`, it is written `Json(x)`, and because the prelude already re-exports
`type Json` the constructor travels with it — so `Json(x)` works from every
package with no import, `builtin` included.

This gives JSON conversion a single short spelling that is reachable everywhere:

  Json(x)              // anywhere, no import
  @json.to_json(x)     // needs @json; unreachable from builtin (cycle)
  ToJson::to_json(x)   // verbose, implementer-flavored

It composes with `Json`'s literal sugar — `([x, y] : Json)` for literals,
`Json(x)` for conversions — and it is spelled the same regardless of which
package `Json` lives in, so a future move of `Json`/`ToJson` to `@json` would not
churn call sites (the same property `to_repr(x)` has while `Debug`/`Repr` live in
`@debug`).

AGENTS.md records `Json(x)` as the replacement for the promoted `x.to_json()`
method, which unblocks deprecating that promotion in a follow-up.

Verified: `moon check --deny-warn --target all` clean; `moon test --target all`
green (6783/6783/6739/6694); `.mbti` gains only the new constructor.

Coverage Stats

15914 of 17436 relevant lines covered (91.27%)

188693.07 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 5551.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 5551.1

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

README BADGES
x