All pull requests

Pull requests

• 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

  

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

  ·
  2

  

• 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

  

• fix(safe): refute empty specialized equation columns

  #1557·oxura opened Oct 14, 2026Contributor·

  ·
  2

  2

• fix(runtime): correct JS text boundaries after the Char rewrite

  #1549·oxura opened Oct 13, 2026Contributor·

  ·

• Effect-defined C names use explicit HID markers

  #1546·oxura opened Oct 13, 2026Contributor·

  ·

• ty_holds opens a datatype once with DUMMY for its value arguments (#1513)

  #1542·Lorenzobattistela opened Oct 13, 2026Collaborator·

  ·
  1

  7

  

• fix(cli): resolve and run hub imports in independent checkup scopes

  #1500·oxura opened Oct 11, 2026Contributor·

  ·
  1

  2

  

• Collect transient native-emitter garbage on heap growth

  #1493·oxura opened Oct 11, 2026Contributor·

  ·
  3

  

• fix(verdict): lift Data captures in type-only templates

  #1489·oxura opened Oct 11, 2026Contributor·

  ·
  1