All pull requests

Pull requests

• Simplify formatter scanning

  #1264·toprameen opened Oct 2, 2026Contributor·

  ·

• The ~ constants of a root take models that hold together, so a ~ law of a ~ function reaches the kernel (#1182)

  #1263·MuhDur opened Oct 1, 2026·

  ·
  1

• Every channel and socket wait has a try_ twin with a limit ms, answering Poll

  #1259·nicolas-abril opened Oct 1, 2026Collaborator·

  ·
  1

• fix(compiler): avoid expanding shared constructor layouts

  #1244·vicmcorrea opened Oct 1, 2026Contributor·

  ·

• A spin called in a jump's argument sinks the variable it was lent, so a loop no longer keeps the old list's cells

  #1243·mizchi opened Oct 1, 2026·

  ·

• feat(window): export references to owned X11 windows

  #1241·aivv73 opened Oct 1, 2026·

  ·
  1

• A copy met after an unfold converts before either copy unfolds (arguments compared rigid first, failures remembered on the cell)

  #1232·Giulio2002 opened Oct 1, 2026Contributor·

  ·

• The compiler says the same in fewer tokens, with the same output

  #1230·wakamex opened Oct 1, 2026·

  ·

• A def specialized at a finite parameter also goes to --verdict as a λ-match on it, to its instances, so the kernel checks that they cover it (#1186)

  #1225·nicolas-abril opened Sep 30, 2026Collaborator·

  ·
  1

• BendTT converts a λ+ as a λ: a q=2 binder says how a λ runs, not what it is (#1189)

  #1224·nicolas-abril opened Sep 30, 2026Collaborator·

  ·
  1

• Track unsafe dependencies in datatype kinds (#1205)

  #1220·oxura opened Sep 30, 2026Contributor·

  ·
  1

  1

• Support equality-proof arrays in JS and C (#1130)

  #1219·oxura opened Sep 30, 2026Contributor·

  ·
  1

  1

• Bound BendTT model search and retain finite alternatives (#1181)

  #1218·oxura opened Sep 30, 2026Contributor·

  ·
  1

  1

• Keep distinct Bend names distinct in BendTT labels (#1131)

  #1216·oxura opened Sep 30, 2026Contributor·

  ·
  1

  1

  

• Resolve BendTT recursive groups by membership (#1212)

  #1215·oxura opened Sep 30, 2026Contributor·

  ·
  1

  2

  

• Which parameters are specialized is a least fixpoint, so --verdict specializes a cycle of items the same in any declaration order (#1179)

  #1208·nicolas-abril opened Sep 29, 2026Collaborator·

  ·
  1

  1

• --verdict: split a root stuck on a constant at the constructors it reads (#1175)

  #1201·nicolas-abril opened Sep 29, 2026Collaborator·

  ·
  1

• The kernel checks a self-call's descent against the column's pattern, as bend2's term_descend does, so a constructor rebuilt around a smaller part of its input descends (#1167)

  #1200·nicolas-abril opened Sep 29, 2026Collaborator·

  ·
  1

• io: IO.random_u32 answers Fail on the JS lane instead of ending the run

  #1198·Yi-111-a opened Sep 29, 2026Contributor·

  ·
  1

  2

  

• The kernel checks a self-call's descent as bend2's term_descend does, so a constructor rebuilt around a smaller part of its input descends (#1167)

  #1173·nicolas-abril opened Sep 28, 2026Collaborator·

  ·
  1

• The work pass after a grow runs each lane's own ring, up to the put the grow left (#925)

  #1132·AdrielSantana opened Sep 27, 2026·

  ·
  1

  

• Open resizable windows and deliver drawable-size events (#1021)

  later
  #1108·oxura opened Sep 27, 2026Contributor·

  ·
  1

  1

• A forking call no longer pays a condvar wake per pool turn: turns count rows, the main thread takes rows, and a turn visits only the rows that can hold a task

  #1092·costamatheus97 opened Sep 26, 2026Contributor·

  ·
  1

  

• F32.fma rounds a * b + c once, in C and JS

  #1046·Kaz9487 opened Sep 24, 2026·

  ·
  1

  

• The unsafe-code report walks a checked term by its shape

  #990·nicolas-abril opened Sep 22, 2026Collaborator·

  ·