Issues

--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

#1212

· Vacrin opened

on Sep 30, 2026

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

#1211

· 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

#1206

· Vacrin opened

on Sep 29, 2026

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

bug

#1205

· Vacrin opened

on Sep 29, 2026

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

bug

#1204

· Vacrin opened

on Sep 29, 2026

bend --check-only hangs indefinitely on let-bindings whose expressions check in 0.04s when hoisted to a def

bug

#1202

· Vacrin opened

on Sep 29, 2026

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

#1195

· AdrielSantana opened

on Sep 29, 2026

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

#1194

· 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

#1193

· nicolas-abril opened

on Sep 29, 2026

--verdict --publish silently discards --verdict and publishes unverified — the two flag guards omit each other

bug

#1191

· Vacrin opened

on Sep 29, 2026

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

#1190

· 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

#1189

· jeromelaurens opened

on Sep 29, 2026

Navigation Menu

All issues

--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

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

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

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

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

bend --check-only hangs indefinitely on let-bindings whose expressions check in 0.04s when hoisted to a def

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

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

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

--verdict --publish silently discards --verdict and publishes unverified — the two flag guards omit each other

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

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

Search results