Search results

Wasm backend miscompiles a #valtype struct with a Double first field returned from a raise function (i32.wrap_i64 expected i64, found f64)

Status: Open.

#1274 In moonbitlang/moonbit-docs;

· mizchi opened on Jun 26, 2026

Issue on page /language/fundamentals.html

Status: Open.

#1273 In moonbitlang/moonbit-docs;

· megemini opened on Jun 26, 2026

ICE: output_value: integer cannot be read back on 32-bit platform

bugSomething isn't workingSomething isn't working

ICEInternal Compiler ErrorInternal Compiler Error

Status: Open.

#1272 In moonbitlang/moonbit-docs;

· vigoo opened on Jun 24, 2026

ICE: moonc crashes when argument |> tuple struct constructor

bugSomething isn't workingSomething isn't working

ICEInternal Compiler ErrorInternal Compiler Error

Status: Open.

#1266 In moonbitlang/moonbit-docs;

· id-map opened on Jun 22, 2026

VSCode native lsp: moonbit.inlayHints.* params not working

Status: Open.

#1265 In moonbitlang/moonbit-docs;

· klaseca opened on Jun 17, 2026

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

Status: Open.

#1258 In moonbitlang/moonbit-docs;

· mingyang91 opened on Jun 12, 2026

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

Status: Open.

#1257 In moonbitlang/moonbit-docs;

· mingyang91 opened on Jun 12, 2026

Proof contracts reject lookup-based replay theorem shapes

Status: Open.

#1256 In moonbitlang/moonbit-docs;

· mingyang91 opened on Jun 12, 2026

describe Ref[T] ABI guarantee for native backend

documentationImprovements or additions to documentationImprovements or additions to documentation

Stale

Status: Open.

#1239 In moonbitlang/moonbit-docs;

· Yoorkin opened on May 19, 2026

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

Status: Open.

#1236 In moonbitlang/moonbit-docs;

· chawyehsu opened on May 18, 2026

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

Status: Open.

#1175 In moonbitlang/moonbit-docs;

· dowdiness opened on Apr 12, 2026

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

Status: Open.

#1168 In moonbitlang/moonbit-docs;

· bikallem opened on Apr 1, 2026