Issues · moonbitlang/moonbit-docs · GitHub

Labels Milestones New issue

Primitive `Bytes == Bytes` in a contracted function generates invalid WhyML typing

#1258

· mingyang91 opened

on Jun 12, 2026

Contracts over mutable wrapper functions reject mut-field reads and writes

#1257

· mingyang91 opened

on Jun 12, 2026

Proof contracts reject lookup-based replay theorem shapes

#1256

· mingyang91 opened

on Jun 12, 2026

describe Ref[T] ABI guarantee for native backend

#1239

· Yoorkin opened

on May 19, 2026

[BUG] VSCode Extension: Environment variables not fully provided when spawning native commands

#1236

· chawyehsu opened

on May 18, 2026

moonc prove: wildcard `_` in #proof_pure match arms generates broken WhyML

#1175

· dowdiness opened

on Apr 12, 2026

#borrow() is a no-op on closure parameters — does not eliminate per-call RC overhead

#1168

· bikallem opened

on Apr 1, 2026

Native backend lacks Common Subexpression Elimination (CSE) for struct field access

#1165

· bikallem opened

on Mar 25, 2026

Native target: array length silently truncated to 28 bits, causing SIGABRT for allocations >= 256MB

#1155

· bikallem opened

on Mar 15, 2026

Any plans to publish Wasm version of moonbit-lsp?

#1145

· seiyab opened

on Mar 7, 2026

moonbit插件报各种无法引用缺陷-2026/01/02

#1091

· windyuuy opened

on Jan 2, 2026

document lexing rules

#1085

· Yoorkin opened

on Dec 24, 2025