Pull requests

• fix(lsp): preserve body alignment after opening parentheses

  #1816·vicmcorrea opened Oct 21, 2026Contributor·

  ·

• Stop recursive eta expansion in --verdict

  #1815·oxura opened Oct 21, 2026Contributor·

  ·
  1

• A long loop over F32 is a call on the host too: nbody 1.19x SEQ, 1.15x PAR (#1240)

  #1814·nicolas-abril opened Oct 21, 2026Collaborator·

  ·
  1

  

• Build constructors before the calls that fill them (constructor tails and forks)

  #1810·Lorenzobattistela opened Oct 21, 2026Collaborator·

  ·
  7

• A def call short of its arguments converts up to eta (#1190)

  #1808·nicolas-abril opened Oct 21, 2026Collaborator·

  ·
  1

• A do-block bind or let that lost its type is reported as that, not as the exec form

  #1807·HamedShams opened Oct 21, 2026Contributor·

  ·
  1

• perf(c): hoist the node allocation every match arm makes

  #1792·viridale opened Oct 20, 2026Contributor·

  ·
  1

  

• fix(compiler): box wide continuation and closure captures

  #1788·sebastian-griego opened Oct 20, 2026Contributor·

  ·

• A dotted name an imported file resolved once is not resolved again

  #1785·HamedShams opened Oct 20, 2026Contributor·

  ·
  1

• A call to a def written below its caller names the file order, not an unfilled law (#1782)

  #1783·viridale opened Oct 20, 2026Contributor·

  ·
  1

  1

  

• prototype #1632.7: say why A & B is not Data

  #1737·adeerkhan opened Oct 19, 2026Contributor·

  ·

• prototype #1632.6: say how many arguments a partial call is missing

  #1736·adeerkhan opened Oct 19, 2026Contributor·

  ·

• prototype #1632.5: show both sides of a false {==}

  #1735·adeerkhan opened Oct 19, 2026Contributor·

  ·

• prototype #1632.4: name the argument that doesn't shrink

  #1734·adeerkhan opened Oct 19, 2026Contributor·

  ·

• prototype #1632.3: name the missing pattern in an empty match

  #1733·adeerkhan opened Oct 19, 2026Contributor·

  ·

• prototype #1632.2: point at the uses when a value is used twice

  #1732·adeerkhan opened Oct 19, 2026Contributor·

  ·

• prototype #1632.1: suggest the closest names on an unknown name

  #1731·adeerkhan opened Oct 19, 2026Contributor·

  ·

• feat(base): Byte and Word16, with byte conversions for U32 (draft, for consideration)

  #1660·ScottMoore0 opened Oct 17, 2026Contributor·

  ·

• Port fixed-point and report compiler improvements to Bend 2.0.25

  #1650·flip-engineer opened Oct 17, 2026·

  ·

• BendTT: adequacy, a checked law holds at each closed instance

  #1627·ScottMoore0 opened Oct 16, 2026Contributor·

  ·

• fix(gates): safe_node can cap each check's memory (MEM_MB), so one heavy file cannot take down a node

  #1622·ScottMoore0 opened Oct 16, 2026Contributor·

  ·
  2

  

• fix(base): convert Nat to F32 without narrowing to U32

  #1610·oxura opened Oct 16, 2026Contributor·

  ·
  1

• comp.ts: facts settle per unit, nothing reads emitted text, pure mains print through Bend

  #1601·nicolas-abril opened Oct 16, 2026Collaborator·

  ·
  7

  

• The root file gets its own namespace, so sugar's bare names can only mean Base's

  #1585·nicolas-abril opened Oct 15, 2026Collaborator·

  ·
  1

  3

  

• The != and where sugar mean the Empty and Exists of the file they are written in, not the entry's

  #1577·HamedShams opened Oct 15, 2026Contributor·

  ·
  1

  3