Skip to content

docs: update moonbit rule — not(x) is deprecated in favor of !expr#16

Merged
paveg merged 1 commit into
mainfrom
docs/moonbit-rule-not-to-bang
Apr 10, 2026
Merged

docs: update moonbit rule — not(x) is deprecated in favor of !expr#16
paveg merged 1 commit into
mainfrom
docs/moonbit-rule-not-to-bang

Conversation

@paveg
Copy link
Copy Markdown
Owner

@paveg paveg commented Apr 10, 2026

Summary

  • Update the Boolean negation rule in .claude/rules/moonbit.md to reflect the current MoonBit compiler recommendation (!expr instead of not(x)).
  • No code changes — the codebase already uses ! exclusively.

Evidence the rule is stale

  • Compiler warning on not(x): Warning: [0023] deprecated: Use !expr instead
  • grep -rn '\bnot(' src/ returns zero matches as of today.

Test plan

  • Rule file updated
  • Verified no remaining not( usages in src/

Closes #15

The MoonBit compiler emits "deprecated: Use !expr instead" for not(x)
since at least MoonBit 0.9.x. The molt codebase has no remaining uses
of `not(` in src/, so this is purely a rule-file catch-up.

Closes #15

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@codecov-commenter
Copy link
Copy Markdown

⚠️ Please install the 'codecov app svg image' to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 62.48%. Comparing base (75361f8) to head (a86639b).
❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files
@@           Coverage Diff           @@
##             main      #16   +/-   ##
=======================================
  Coverage   62.48%   62.48%           
=======================================
  Files          16       16           
  Lines         733      733           
=======================================
  Hits          458      458           
  Misses        275      275           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@paveg paveg merged commit 03d82e7 into main Apr 10, 2026
4 checks passed
@paveg paveg deleted the docs/moonbit-rule-not-to-bang branch April 10, 2026 16:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

docs: update .claude/rules/moonbit.md — not(x) is deprecated, use !expr

2 participants