Issues

• A goal or error that mentions a self-referential @unsafe placeholder never prints: the checker unfolds it forever

  bendlang/bend#1231 · Filter by author Tor-Saxberg opened on Oct 1, 2026

• --verdict: safe.ts's group_of picks a group by a def's first later-filled name, not by membership — a dead forward reference to a law crashes -o/--verdict, emits a non-member selector, or (with a name_tt collision) PASSes a book computing a different value

  bug
  bendlang/bend#1212 · Filter by author Vacrin opened on Sep 30, 2026
  2

• A failing --verdict, --check-only, run or --checkup exits 0 if its output goes to a reader that has already exited (cli_say's EPIPE branch calls process.exit(0)); pipefail doesn't catch it

  bug
  bendlang/bend#1211 · Filter by author Vacrin opened on Sep 30, 2026

• bend hangs (no verdict, ~1 GB/s memory growth) on a 5-line file with a recursive type alias

  bug
  bendlang/bend#1206 · Filter by author Vacrin opened on Sep 29, 2026
  

• The unsafe/foreign gate misses an @unsafe dependency that appears only in a datatype's is Kind(..)

  bug
  bendlang/bend#1205 · Filter by author Vacrin opened on Sep 29, 2026

• def_inst reuses template specializations across unrelated functions due to un-scoped term_key collisions

  bug
  bendlang/bend#1204 · Filter by author Vacrin opened on Sep 29, 2026
  1

• A generic def over a Data record boxes it on the device heap: a Bool.pick of two records took Metal's compile from 8 s to over 11 minutes

  bendlang/bend#1195 · Filter by author AdrielSantana opened on Sep 29, 2026

• --verdict: two mutually recursive type-level defs that pass a kept parameter are rejected as "calls that descend"

  bendlang/bend#1194 · Filter by author jeromelaurens opened on Sep 29, 2026

• --verdict: the kernel runs out of fuel on conversion_shared_cells_once.bend, which bend2 checks by sharing (2.0.34)

  bug
  bendlang/bend#1193 · Filter by author nicolas-abril opened on Sep 29, 2026

• 2.0.34: checking an inline equality mutates a shared partial head and changes acceptance

  bendlang/bend#1190 · Filter by author jasisz opened on Sep 29, 2026

• --verdict: a lambda whose variable is used twice does not convert to the same lambda passed for an abstract function, under a stuck call

  bendlang/bend#1189 · Filter by author jeromelaurens opened on Sep 29, 2026

• --verdict passes a def that the kernel never checks

  bug
  bendlang/bend#1186 · Filter by author awilson9 opened on Sep 29, 2026
  2

• Imported files answer to their file name as well as to their alias, so one prefix can point at two files

  bug
  bendlang/bend#1184 · Filter by author olety opened on Sep 29, 2026
  1

• BendTT mismatch for opaque higher-order template with dependent equality result

  bendlang/bend#1182 · Filter by author leo-guinan opened on Sep 29, 2026
  2

• --verdict overflows the stack on a ~ parameter of some datatypes: model_at's cycle check misses cycles through ∀-typed fields

  bug
  bendlang/bend#1181 · Filter by author Vacrin opened on Sep 29, 2026

• --verdict: a binder inside one parameter's type can mark a later, live parameter as specialized ("a kind that depends on a run-time value")

  bug
  bendlang/bend#1180 · Filter by author Vacrin opened on Sep 29, 2026

• --verdict depends on declaration order: swapping two type declarations turns SOME PROOFS FAIL into ALL PROOFS CHECK

  bug
  bendlang/bend#1179 · Filter by author Vacrin opened on Sep 29, 2026

• A spliced inline lambda applied to a rebuilt column emits an un-annotated beta-redex, so --verdict rejects what bend2 accepts

  bendlang/bend#1175 · Filter by author yavuzerayut opened on Sep 28, 2026
  3

• A template over a constructor-less datatype vanishes from --verdict and -o with no oos entry

  bendlang/bend#1174 · Filter by author yavuzerayut opened on Sep 28, 2026
  2

• Any plans to add Windows support

  enhancement
  bendlang/bend#1170 · Filter by author MaxMoldmann opened on Sep 28, 2026
  1

• Termination: bend2 accepts a self-call on a rebuilt constructor, the kernel rejects it

  bendlang/bend#1167 · Filter by author jeromelaurens opened on Sep 28, 2026
  1

  

• A zero-argument recursive type definition checks, but --verdict and -o stack-overflow elaborating it

  bendlang/bend#1164 · Filter by author yavuzerayut opened on Sep 28, 2026
  1

• Every compiled IO program carries ~1 MiB of zeros: io_eff_rows is baked into .data.rel.ro by clang

  bendlang/bend#1163 · Filter by author joshmh opened on Sep 28, 2026

• Metal regression: a small parallel sum fails shader compilation on M2 Pro / macOS 15.7.4 in 2.0.32

  bug
  bendlang/bend#1154 · Filter by author benjamintd opened on Sep 28, 2026

• -o x.mjs: a Nat leaves through a return type the marshal cannot resolve as a number, not a BigInt

  bendlang/bend#1150 · Filter by author nohzafk opened on Sep 28, 2026