All issues

Search results

A type family can hide a recursive datatype from layout analysis and overflow both emitters

Status: Open.

#959 In bendlang/bend;

· jasisz opened on Sep 21, 2026

A law whose goal is an unfolded loop state with a large fuel numeral still overflows the stack (2.0.24), in term_snf rather than the renderer

Status: Open.

#957 In bendlang/bend;

· nohzafk opened on Sep 21, 2026

Inline match applications normalize but both emitters reject their expression-headed spines

Status: Open.

#956 In bendlang/bend;

· nicolas-abril opened on Sep 21, 2026

Array count sugar creates a non-well-founded Nat and defeats termination checking

Status: Open.

#954 In bendlang/bend;

· jasisz opened on Sep 21, 2026

A datatype named __proto__, constructor, or toString crashes both emitters through the inherited WORDS lookup

Status: Open.

#948 In bendlang/bend;

· jasisz opened on Sep 21, 2026

JS FFI: an effect named _need silently replaces another effect's scheduling helper

Status: Open.

#946 In bendlang/bend;

· jasisz opened on Sep 21, 2026

C backend: wide monomorphic records bypass boxing and hit the 255-word CID limit

Status: Open.

#944 In bendlang/bend;

· jasisz opened on Sep 21, 2026

A ! call with no available parallelism holds the GPU indefinitely and crashes macOS (WindowServer watchdog)

Status: Open.

#942 In bendlang/bend;

· mizchi opened on Sep 21, 2026

A literal trusts a user-defined Nat/String constructor name, forges its field type, and admits Empty

Status: Open.

#941 In bendlang/bend;

· jasisz opened on Sep 21, 2026

Include argv[0] in IO.args() (or add IO.program_name)

Status: Open.

#935 In bendlang/bend;

· noah-emp opened on Sep 21, 2026

Let compiled binaries pass --help through to IO.args

Status: Open.

#934 In bendlang/bend;

· noah-emp opened on Sep 21, 2026

macOS: poll() does not report a FIFO close, so a parked read never sees EOF

Status: Open.

#928 In bendlang/bend;

· nohzafk opened on Sep 21, 2026