Commits

Branch selector

 main

User selector

rtjoa

Datepicker

All time

Commit History

Commits on Apr 24, 2025

• No unboxed versions for mixed-float records (#3915)

  Show description for 7d862d0
  rtjoa

  authored
  7d862d0

  Copy full SHA for 7d862d0

Commits on Apr 4, 2025

• Better comment for unboxed version typechecking (#3809)

  rtjoa

  authored
  01d586e

  Copy full SHA for 01d586e

Commits on Mar 31, 2025

• Implicit unboxed records (#3527)

  rtjoa

  authored
  b6c8826

  Copy full SHA for b6c8826

Commits on Mar 11, 2025

• Fix: compare peek and poke kinds (#3674)

  Show description for c915400
  rtjoa

  authored
  c915400

  Copy full SHA for c915400

Commits on Mar 5, 2025

• Linked unboxed-boxed versions of types via `#` paths (#3526)

  rtjoa

  authored
  2a4bc73

  Copy full SHA for 2a4bc73

Commits on Feb 20, 2025

• Smaller functorized test in `test_gen_u_array.ml` (#3606)

  rtjoa

  authored
  dbfaa32

  Copy full SHA for dbfaa32

Commits on Feb 9, 2025

• Allow non-values in `[@@unboxed]` types (#3558)

  rtjoa

  authored
  186b4fa

  Copy full SHA for 186b4fa

Commits on Feb 3, 2025

• Tweak unboxed products documentation (#3531)

  rtjoa

  authored
  cb628b2

  Copy full SHA for cb628b2

Commits on Jan 10, 2025

• Check for type recursion without boxing (#3407)

  rtjoa

  authored
  c30ec74

  Copy full SHA for c30ec74

Commits on Jan 6, 2025

• Fix CI by using `setup-ocaml` v3 for ocamlformat workflow (#3426)

  Show description for 2de23a5
  rtjoa

  authored
  2de23a5

  Copy full SHA for 2de23a5

Commits on Jan 4, 2025

• Move unboxed records to stable (#3419)

  rtjoa

  authored
  eada0f1

  Copy full SHA for eada0f1

Commits on Dec 20, 2024

• Test modalities in unboxed records (#3394)

  rtjoa

  authored
  4da0719

  Copy full SHA for 4da0719

• Fix `constrain_type_jkind` for unboxed records with `any` and erroneous jkind annotations (#3399)

  rtjoa

  authored
  7cafa7c

  Copy full SHA for 7cafa7c

Commits on Dec 19, 2024

• Improve exhaustiveness counterexamples for unboxed records (#3392)

  rtjoa

  authored
  968522d

  Copy full SHA for 968522d

Commits on Dec 5, 2024

• Unboxed records (#3229)

  rtjoa

  authored
  d330dfe

  Copy full SHA for d330dfe

Commits on Sep 24, 2024

• flambda-backend: Migrate labeled tuples from Jane Syntax to the parsetree (#3040)

  Show description for a1cd7c0
  

  rtjoa

  and

  freemagma

  authored
  a1cd7c0

  Copy full SHA for a1cd7c0

• Migrate labeled tuples from Jane Syntax to the parsetree (#3040)

  Show description for a0f5b7d
  

  rtjoa

  and

  freemagma

  authored
  a0f5b7d

  Copy full SHA for a0f5b7d

Commits on Jun 20, 2023

• flambda-backend: Generalize `deep_occur` to `deep_occur_list` (#1503)

  Show description for c1eecf6
  rtjoa

  authored
  c1eecf6

  Copy full SHA for c1eecf6

• Generalize `deep_occur` to `deep_occur_list` (#1503)

  Show description for 725d460
  rtjoa

  authored
  725d460

  Copy full SHA for 725d460