Issues

• bend PROOF.bend fails on four unedited demos: their main.bend holds @unsafe defs that no law uses

  bendlang/bend#1989 · Filter by author lee-eojin opened on Nov 1, 2026

• Question: using LAWS.bend with a TypeScript / React Native app

  enhancement
  bendlang/bend#1988 · Filter by author oferRounds opened on Nov 1, 2026

• 16 bytes per character: String and the byte APIs are cons lists, no packed byte/string type

  bendlang/bend#1987 · Filter by author lukaszsamson opened on Nov 1, 2026

• Native heap: freed memory is reused only within its size class (peak = sum of per-class high-water marks)

  bendlang/bend#1986 · Filter by author lukaszsamson opened on Nov 1, 2026
  1

• --verdict / -o .bendtt: stack overflow since 2.0.38 on a named Σ type over two computed equations (16-line Base repro; 2.0.37 passes)

  bendlang/bend#1984 · Filter by author lukaszsamson opened on Oct 31, 2026

• Run path: File.read_bytes / read_at / read commit max bytes per call since 2.0.37 (an 8-byte file read with a 1 GiB cap costs ~1 GB; 40 reads: 0.25 s / 113 MB -> 12 s / 3 GB)

  bendlang/bend#1983 · Filter by author lukaszsamson opened on Oct 31, 2026

• Array<T> accepts a mixed-depth ANode that the compiled runtime cannot represent

  bendlang/bend#1980 · Filter by author adeerkhan opened on Oct 31, 2026

• Metal: large continuation dispatcher crashes MTLCompilerService in LLVM allocation

  bendlang/bend#1979 · Filter by author azide0x37 opened on Oct 31, 2026

• import: a segment starting with a digit is refused, but the error says digits are allowed

  bendlang/bend#1961 · Filter by author adeerkhan opened on Oct 30, 2026

• [complexity, checker] O(n^2) — Every recursive call proves the same argument is smaller again

  bendlang/bend#1960 · Filter by author pjcavalcanti opened on Oct 30, 2026

• [complexity, checker] O(n^2) — Comparing quantities reduces the same remaining expression again

  bendlang/bend#1957 · Filter by author pjcavalcanti opened on Oct 30, 2026

• [complexity, flattening, checker] O(n^2) — Checking a call copies its growing argument list each time

  bendlang/bend#1956 · Filter by author pjcavalcanti opened on Oct 30, 2026

• [complexity, checker] O(n^2 log n) — An empty match copies all variables before inspecting the first

  bendlang/bend#1955 · Filter by author pjcavalcanti opened on Oct 30, 2026

• Metal: standalone renderer fails with “a function the device does not hold”; CPU and interpreter agree

  bug
  bendlang/bend#1954 · Filter by author holmesworcester opened on Oct 30, 2026
  6

• C backend: parallel let with an owning call before a borrowing spin fails with multiple threads

  bug
  bendlang/bend#1953 · Filter by author holmesworcester opened on Oct 30, 2026
  3

• Base is re-parsed and re-checked for every book; the header-regex workarounds make --checkup and bend-lint accept programs bend rejects

  bendlang/bend#1941 · Filter by author nicolas-abril opened on Oct 29, 2026

• [complexity, checker] O(2^n) — Checking a returned type checks the same lambda again

  bendlang/bend#1940 · Filter by author pjcavalcanti opened on Oct 29, 2026
  1

• A read without the wrap mask for code that must pass --verdict: in an F32 4x4 tile, the mask is the whole 2.2x gap to C

  bendlang/bend#1936 · Filter by author Runiir opened on Oct 29, 2026

• Base: should Array state its own laws (set keeps the size, get after set, set leaves other cells alone)?

  bendlang/bend#1934 · Filter by author nuxyel opened on Oct 29, 2026

• Device: a lane runs up to 4096 steps on HEAP_OFF after a failed allocation (page faults on AMD)

  bendlang/bend#1924 · Filter by author nicolas-abril opened on Oct 28, 2026
  1

• 2.0.38 and 2.0.39 emit C that Apple clang 21 cannot compile ("live register clobbered by inserted prologue instructions"); 2.0.37 and main from #1817 build

  bendlang/bend#1914 · Filter by author jonasporto opened on Oct 28, 2026

• 2.0.38 added Event.Text to Base; a program with its own Text constructor is refused with "duplicate declaration: Text", and the notes do not say so

  bendlang/bend#1913 · Filter by author jonasporto opened on Oct 28, 2026
  1

• Process.open: a child's stdin and stdout as File handles

  bendlang/bend#1902 · Filter by author MattCozendey opened on Oct 28, 2026

• --verdict: a law instantiated with lambdas for a ~ function and a ~ proof about it is out of scope ("an application with no known head type"), though bend2 accepts it

  bug
  bendlang/bend#1897 · Filter by author jbrownson opened on Oct 27, 2026

• Fast Array Initialization

  enhancement
  bendlang/bend#1890 · Filter by author dmbarbour opened on Oct 27, 2026
  4