Commit history

1. Commits on Oct 16, 2026

   • Migration to codebase schema 27: nothing stored changes (the bump of cbc884651 came without one), so it only sets the version; codebases from before the records work open again

     Show description for ad06030
     pchiusano

     committed
     ad06030View commit details

     Copy full SHA for ad06030

     View code at this pointBrowse repository at this point
2. Commits on Oct 15, 2026

   • formatting

     pchiusano

     committed
     3bd7f1eView commit details

     Copy full SHA for 3bd7f1e

     View code at this pointBrowse repository at this point

   • removed `...` wildcards from record types

     Show description for 9ad99d3
     pchiusano

     committed
     9ad99d3View commit details

     Copy full SHA for 9ad99d3

     View code at this pointBrowse repository at this point
3. Commits on Oct 13, 2026

   • added multi-field set and nested set syntax

     pchiusano

     committed
     c938f09View commit details

     Copy full SHA for c938f09

     View code at this pointBrowse repository at this point

   • Records: drop vacuous row variables from inferred types

     pchiusano

     committed
     60e2fd0View commit details

     Copy full SHA for 60e2fd0

     View code at this pointBrowse repository at this point

   • Better variable names for inferred row types

     pchiusano

     committed
     0503949View commit details

     Copy full SHA for 0503949

     View code at this pointBrowse repository at this point

   • fix formatting

     pchiusano

     committed
     03fe9bcView commit details

     Copy full SHA for 03fe9bc

     View code at this pointBrowse repository at this point

   • Record types in negative position now have an implicit wildcard

     pchiusano

     committed
     281dd14View commit details

     Copy full SHA for 281dd14

     View code at this pointBrowse repository at this point

   • Better inference of multiple projections

     pchiusano

     committed
     fdf1ae9View commit details

     Copy full SHA for fdf1ae9

     View code at this pointBrowse repository at this point
4. Commits on Oct 12, 2026

   • Records: row variables, rec@foo.set, and record sections

     Show description for e0368dd
     pchiusano

     committed
     e0368ddView commit details

     Copy full SHA for e0368dd

     View code at this pointBrowse repository at this point
5. Commits on Sep 29, 2026

   • Merge trunk into the records branch

     Show description for 44903e5
     

     ChrisPenner

     and

     claude

     committed
     44903e5View commit details

     Copy full SHA for 44903e5

     View code at this pointBrowse repository at this point

   • Records: add field projection with `r@x`

     Show description for ff6525a
     

     ChrisPenner

     and

     claude

     committed
     ff6525aView commit details

     Copy full SHA for ff6525a

     View code at this pointBrowse repository at this point

   • Merge trunk into feature/variadic-ffi

     Show description for 676badd
     runarorama

     committed
     676baddView commit details

     Copy full SHA for 676badd

     View code at this pointBrowse repository at this point
6. Commits on Sep 28, 2026

   • Records: reject duplicate field names

     Show description for 6f98119
     

     ChrisPenner

     and

     claude

     committed
     6f98119View commit details

     Copy full SHA for 6f98119

     View code at this pointBrowse repository at this point

   • Records: support refutable patterns inside record patterns

     Show description for 90d0f63
     

     ChrisPenner

     and

     claude

     committed
     90d0f63View commit details

     Copy full SHA for 90d0f63

     View code at this pointBrowse repository at this point

   • Records: fix nested record patterns and correct record type errors

     Show description for 1ea4bf1
     

     ChrisPenner

     and

     claude

     committed
     1ea4bf1View commit details

     Copy full SHA for 1ea4bf1

     View code at this pointBrowse repository at this point

   • PR Cleanup

     ChrisPenner

     committed
     09ef8d2View commit details

     Copy full SHA for 09ef8d2

     View code at this pointBrowse repository at this point

   • Merge trunk into feature/variadic-ffi

     runarorama

     committed
     105609eView commit details

     Copy full SHA for 105609e

     View code at this pointBrowse repository at this point

   • Merge trunk into feature/posix-signals

     runarorama

     committed
     ee311f1View commit details

     Copy full SHA for ee311f1

     View code at this pointBrowse repository at this point
7. Commits on Sep 26, 2026

   • merged

     pchiusano

     committed
     6c253efView commit details

     Copy full SHA for 6c253ef

     View code at this pointBrowse repository at this point

   • merged

     pchiusano

     committed
     7f44901View commit details

     Copy full SHA for 7f44901

     View code at this pointBrowse repository at this point

   • merged

     pchiusano

     committed
     96e32b4View commit details

     Copy full SHA for 96e32b4

     View code at this pointBrowse repository at this point
8. Commits on Sep 7, 2026

   • Add typed POSIX signal subscriptions to the runtime

     runarorama

     committed
     6ecf35bView commit details

     Copy full SHA for 6ecf35b

     View code at this pointBrowse repository at this point
9. Commits on Sep 6, 2026

   • Add variadic FFI specifications

     runarorama

     committed
     a7ff261View commit details

     Copy full SHA for a7ff261

     View code at this pointBrowse repository at this point
10. Commits on Aug 18, 2026

    • Add missing type decls when merging

      ChrisPenner

      committed
      3c9d98aView commit details

      Copy full SHA for 3c9d98a

      View code at this pointBrowse repository at this point
11. Commits on Jun 28, 2026

    • GADT-indexed abilities: index refinement for handlers

      Show description for 5f47866
      runarorama

      committed
      5f47866View commit details

      Copy full SHA for 5f47866

      View code at this pointBrowse repository at this point

    • GADTs: `type Foo a b where ...`

      Show description for 411978c
      runarorama

      committed
      411978cView commit details

      Copy full SHA for 411978c

      View code at this pointBrowse repository at this point

    • Implement `run>` watch expressions

      dfreeman

      committed
      67dcf6eView commit details

      Copy full SHA for 67dcf6e

      View code at this pointBrowse repository at this point
12. Commits on May 27, 2026

    • Fix record accessors for higher-rank field types

      Show description for 868fd4a
      runarorama

      committed
      868fd4aView commit details

      Copy full SHA for 868fd4a

      View code at this pointBrowse repository at this point
13. Commits on May 13, 2026

    • Merge branch 'trunk' into gh-793-pattern-matching

      tfausak

      committed
      5ced2d8View commit details

      Copy full SHA for 5ced2d8

      View code at this pointBrowse repository at this point
14. Commits on May 6, 2026

    • Merge branch 'trunk' into gh-626-indent-hof

      tfausak

      committed
      56919ecView commit details

      Copy full SHA for 56919ec

      View code at this pointBrowse repository at this point
15. Commits on May 5, 2026

    • Merge remote-tracking branch 'origin/trunk' into maurice/alpn-client-config

      stew

      committed
      2351899View commit details

      Copy full SHA for 2351899

      View code at this pointBrowse repository at this point
16. Commits on May 1, 2026

    • Merge branch 'trunk' into gh-626-indent-hof

      tfausak

      committed
      d62389eView commit details

      Copy full SHA for d62389e

      View code at this pointBrowse repository at this point

    • Merge branch 'trunk' into gh-626-indent-hof

      aryairani

      authored
      918f260View commit details

      Copy full SHA for 918f260

      View code at this pointBrowse repository at this point

    • Support pattern matching on Bytes literals

      Show description for e50bc7f
      runarorama

      committed
      e50bc7fView commit details

      Copy full SHA for e50bc7f

      View code at this pointBrowse repository at this point