Skip to content

feat(debug): add Debug for Repr#3483

Merged
bobzhang merged 2 commits intomainfrom
add-debug-repr
Apr 27, 2026
Merged

feat(debug): add Debug for Repr#3483
bobzhang merged 2 commits intomainfrom
add-debug-repr

Conversation

@bobzhang
Copy link
Copy Markdown
Contributor

@bobzhang bobzhang commented Apr 27, 2026

Summary

  • Adds @debug.Debug impl for Repr (the type returned by Debug::to_repr).
  • Renders as <Repr: rendered> via the existing render function.

Test plan

  • moon test -p moonbitlang/core/debug passes (57 tests)

🤖 Generated with Claude Code


Open in Devin Review

Copy link
Copy Markdown

@devin-ai-integration devin-ai-integration Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ Devin Review: No Issues Found

Devin Review analyzed this PR and found no potential bugs to report.

View in Devin Review to see 1 additional finding.

Open in Devin Review

@coveralls
Copy link
Copy Markdown
Collaborator

coveralls commented Apr 27, 2026

Coverage Report for CI Build 4021

Coverage decreased (-0.006%) to 94.871%

Details

  • Coverage decreased (-0.006%) from the base build.
  • Patch coverage: 1 uncovered change across 1 file (0 of 1 lines covered, 0.0%).
  • No coverage regressions found.

Uncovered Changes

File Changed Covered %
debug/pretty_print.mbt 1 0 0.0%

Coverage Regressions

No coverage regressions found.


Coverage Stats

Coverage Status
Relevant Lines: 15577
Covered Lines: 14778
Line Coverage: 94.87%
Coverage Strength: 220285.97 hits per line

💛 - Coveralls

@bobzhang bobzhang enabled auto-merge (squash) April 27, 2026 06:43
@bobzhang bobzhang force-pushed the add-debug-repr branch 2 times, most recently from cf762e8 to bb311a2 Compare April 27, 2026 06:55
Adds @debug.Debug for Repr (the trait's own representation type), rendering
as <Repr: rendered-string> via the existing Show impl.
Repr already IS the debug representation, so to_repr should return self
unchanged rather than wrapping in <Repr: ...>.
@bobzhang bobzhang merged commit db97bf2 into main Apr 27, 2026
10 of 19 checks passed
@bobzhang bobzhang deleted the add-debug-repr branch April 27, 2026 07:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants