Repository Issue Activity (beta)

#871 JS channels confuse a null payload with a parked receiver, causing a false deadlock

#870 JS loader treats a user-defined Nat as Base.Nat, producing wrong code and duplicating an affine capture

#869 Integrate Why3 for short automatic proofs

#868 JS emitter treats dots in field names as property paths and silently reads a different field

#843 C backend: nested product type uses K^depth memory (974-byte file, 19.3 GB RSS)

#853 C lane: a hot constructor built at a family stuck on an open index holds a field of a type the facts never saw, and its consumer takes the sealed node raw

#867 match on U32 literal patterns emits a 32-bit decomposition tree, not a lookup table (256 arms: 3.5 GiB, 1.46 MB C; the same table on Nat: 0.24 GiB, 87 KB)

#848 A proof cannot reuse a hypothesis, so theorems over abstract structures (Mathlib-style libraries) are out of reach

#864 Maybe<_, _> in return position fails to elaborate ('non-inferrable term')

#852 A nat-literal pattern skips the constructor arity check, so a non-decreasing self-call passes and a closed term inhabits Empty

#858 A TCP receive with a deadline, as UDP.poll: today a Bend server cannot drop an idle connection

#857 macOS: a window does not accept the first mouse, so the click that refocuses it is dropped

#842 macOS: window_pump drains the queue without running the run loop, so input reaches the app frames late (title-bar drag lags ~70 ms)

#839 Compromised?

#850 A def without a return type that fills no law reports `expected : '->'`, not the missing law

#846 Would bend have built-in std libs for Http/Tls/Crypto?

#840 Add a Changelog to describe a new release

#825 The guide does not document the native C side of custom effects

#831 After a parallel let whose calls apply a closure, later forks in the same IO step run on one core

#827 Base: the O(n) and O(value) functions hold the obvious names, while the O(1) primitives are `law` and invisible to `grep '^def'`

#828 Fork depth for a `!` call changes GPU frame time by up to 8x, and the same sweep is flat on the CPU

#836 Guide: what a shared +Data costs inside a parallel call is only documented in a demo's comments

#826 Guide says `--gpu 4GB` "enables the GPU", but the GPU is on by default; `--gpu off` is the CPU baseline and is undocumented there

#813 Add a native library target for pure definitions

#822 Install script fails: no release from https://bend-lang.com