All pull requests

Pull requests

• Infer: fix unresolved hdiv constraints in recursive functions

  #967·CAIMEOX opened Nov 1, 2026·

  ·
  1

• Publish the documentation and the playground to GitHub Pages from CI, versioned

  #964·TimWhiting opened Oct 20, 2026Collaborator·

  ·
  1

• Place the generated entry module next to the module it calls

  #963·TimWhiting opened Oct 20, 2026Collaborator·

  ·

• Literate documents: include snippets of source files

  #962·TimWhiting opened Oct 15, 2026Collaborator·

  ·

• specialize: only respecialize an ancestor at a strictly smaller instantiated type

  #960·TimWhiting opened Oct 15, 2026Collaborator·

  ·

• Fix toplevel static initializers

  #959·TimWhiting opened Oct 14, 2026Collaborator·

  ·

• Type Arguments Fix for Recursive Group Inference and Core Substitution

  #957·TimWhiting opened Oct 14, 2026Collaborator·

  ·

• std/async: firstof exceptions, strand scopes, canceled receives (alternative to #933, #935; includes #934)

  #955·TimWhiting opened Oct 14, 2026Collaborator·

  ·
  1

• Infer: generalize recursive groups jointly

  #951·anfelor opened Oct 12, 2026Collaborator·

  ·
  2

• Give @field-addr-of separate types for the object and the hole

  #947·anfelor opened Oct 12, 2026Collaborator·

  ·
  2

• CTail: correct type variables in accumulator type

  #944·anfelor opened Oct 12, 2026Collaborator·

  ·
  1

• kklib: avoid unaligned uint64 read in kk_srandom_uint64

  #940·dawnop opened Oct 4, 2026·

  ·

• std/async: remove canceled receive listeners from channels

  #935·pigoz opened Sep 25, 2026Contributor·

  ·

• std/async: resume interleaved strands within their cancelation scope

  #934·pigoz opened Sep 25, 2026Contributor·

  ·

• std/async: propagate exceptions raised inside firstof and timeout

  #933·pigoz opened Sep 25, 2026Contributor·

  ·

• doc: fill in the Matching section of the tour

  #928·tangquanwei opened Aug 23, 2026·

  ·
  1

• uv: repeatable callbacks + timer-setup-repeat (C and JS backends)

  #924·dmisiuk opened Aug 12, 2026·

  ·

• fix: multi-letter type variables binding in some contexts

  #921·CAIMEOX opened Jul 30, 2026·

  ·

• core: exit with a failure status on an uncaught exception

  #918·siraben opened Jul 26, 2026Contributor·

  ·

• infer: stop dot-implicit unpack recursing on base fields

  #915·siraben opened Jul 26, 2026Contributor·

  ·
  1

• parse: fix internal error on with binding a pattern

  #914·siraben opened Jul 26, 2026Contributor·

  ·

• std/data: int-map / int-set / int32-map / int32-set (Patricia trees)

  #913·TimWhiting opened Jul 20, 2026Collaborator·

  ·
  2

• kind inference: report a kind error for wrong-kinded type alias arguments

  #904·alpaylan opened Jul 7, 2026·

  ·

• Fix exponential core-size blow-up from case-of-case on && guards

  #902·PatrikHagglund opened Jun 23, 2026·

  ·

• fix CSS bugs and improve responsive layout in spec documentation

  #901·yo-goto opened Jun 20, 2026·

  ·