All pull requests

Pull requests

• fix(demos): io_http_server's page_after_blank law reads the head from SPEC.bend

  #2126·lee-eojin opened Nov 11, 2026Contributor·

  ·
  1

• fix(demos): app_slash_boss_3d's laws say a Close quits, and an Esc release too

  #2124·lee-eojin opened Nov 11, 2026Contributor·

  ·
  1

• fix(cli): only a stack overflow prints the stack overflow message (#2120)

  #2122·hhefesto opened Nov 11, 2026·

  ·
  1

• fix(formatter): preserve spacing after %

  #2121·toprameen opened Nov 11, 2026Contributor·

  ·

• Preserve returned function values in the BendTT translation

  #2119·pjcavalcanti opened Nov 10, 2026Collaborator·

  ·
  1

• Allow constructor names as bare pattern binders

  #2116·pjcavalcanti opened Nov 10, 2026Collaborator·

  ·
  1

• Keep shared-node takes inline on the CPU

  #2114·oxura opened Nov 10, 2026Contributor·

  ·
  1

  2

• Prevent collisions in the keys used to remember visited datatypes

  #2113·pjcavalcanti opened Nov 10, 2026Collaborator·

  ·
  1

• Use atomic ring snapshots in row_grow

  #2111·oxura opened Nov 10, 2026Contributor·

  ·
  1

  4

• fix(comp): a large device program splits its dispatch into parts by call order (#1979)

  #2091·nicolas-abril opened Nov 7, 2026Collaborator·

  ·
  1

  1

• fix(comp): reduce native emitter cache retention

  #2086·toprameen opened Nov 7, 2026Contributor·

  ·
  4

  

• fix(comp): a host miss reuses banked cells in address order (#1007)

  #2070·Lorenzobattistela opened Nov 6, 2026Collaborator·

  ·
  1

  4

• perf(flatten): a destructure defers its substitutions instead of walking the rest of the body (#2041)

  #2068·raramos9 opened Nov 6, 2026Contributor·

  ·
  1

• perf(check): a + binder reads its type's kind off the head

  #2057·nicolas-abril opened Nov 5, 2026Collaborator·

  ·

• Two terms written alike convert before either unfolds

  #2056·Lorenzobattistela opened Nov 5, 2026Collaborator·

  ·

• A fit weakens a quantity its datatype only passes along, so List<&2, A> fits List<&1, A>

  #2044·nicolas-abril opened Nov 4, 2026Collaborator·

  ·

• A fit compares datatype arguments by their variance, so List<&2, A> fits List<&1, A>

  #2043·nicolas-abril opened Nov 4, 2026Collaborator·

  ·

• Fuse a recursive consumer with the recursive producer it consumes (deforestation)

  #2031·nicolas-abril opened Nov 3, 2026Collaborator·

  ·

• Inline calls that pass a lambda to a non-recursive def, through matches on runtime values

  #2030·nicolas-abril opened Nov 3, 2026Collaborator·

  ·

• perf(runtime): matching ANode views the block instead of copying it (draft)

  #2019·nicolas-abril opened Nov 2, 2026Collaborator·

  ·
  1

  2

• Effect C names its own definitions with HID, and a module that uses HID must (#1533)

  #2017·Lorenzobattistela opened Nov 2, 2026Collaborator·

  ·
  1

  10

• perf(cuda): a bang prefetches ring row 0's get and put words (#1992)

  #2014·nicolas-abril opened Nov 2, 2026Collaborator·

  ·
  5

• perf(c): build lists directly from flat arrays

  #2012·vicmcorrea opened Nov 2, 2026Contributor·

  ·
  1

• Make List.map work with reusable lists

  #2004·oxura opened Nov 2, 2026Contributor·

  ·
  1

  5

  

• safe.ts: a ~ argument's run-time Data variables are its instance's captures (#1483)

  #1959·Lorenzobattistela opened Oct 30, 2026Collaborator·

  ·
  1

  1