Code

with-kinds#3284

Code

Open

goldfirere wants to merge 33 commits intomainocaml-flambda/flambda-backend:mainfrom rae/with-kindsocaml-flambda/flambda-backend:rae/with-kindsCopy head branch name to clipboard

+7,782-1,458

Commits

Commits on Dec 24, 2024

• Use estimate_type_jkind instead of type_jkind_purely

  goldfirere

  committed
  8814e2c

  Copy full SHA for 8814e2c

• Skip reporting errors in extra with-type jkind check

  Show description for 53b02d3
  goldfirere

  committed
  53b02d3

  Copy full SHA for 53b02d3

• Use in_subst for omitting the jkind check in subst

  goldfirere

  committed
  0666ec8

  Copy full SHA for 0666ec8

• Add a necessary "instance".

  goldfirere

  committed
  3274c88

  Copy full SHA for 3274c88

• Remove unused equal function

  goldfirere

  committed
  4ab1075

  Copy full SHA for 4ab1075

• Add with-kinds.

  goldfirere

  committed
  8c85229

  Copy full SHA for 8c85229

• Adapt to unboxed records

  goldfirere

  committed
  6770037

  Copy full SHA for 6770037

• Update test output

  goldfirere

  committed
  2593656

  Copy full SHA for 2593656

• Add tests

  

  liam923

  authored and

  goldfirere

  committed
  c0a9d50

  Copy full SHA for c0a9d50

• Reviewed the tests, with minor revisions

  goldfirere

  committed
  f498428

  Copy full SHA for f498428

• Commit failing test

  goldfirere

  committed
  57387ff

  Copy full SHA for 57387ff

• Use better hygeine around univar_pairs

  goldfirere

  committed
  a20a171

  Copy full SHA for a20a171

• Failing test about re-exporting ref

  goldfirere

  committed
  52da5d6

  Copy full SHA for 52da5d6

• Don't add baggage to top

  goldfirere

  committed
  9765046

  Copy full SHA for 9765046

• Some final touches

  goldfirere

  committed
  25eadb9

  Copy full SHA for 25eadb9

Commits on Dec 28, 2024

• Use real type equality when checking decl jkinds

  Show description for c03d79c
  glittershark

  committed
  c03d79c

  Copy full SHA for c03d79c

Commits on Jan 9, 2025

• Liam's review

  goldfirere

  committed
  a219496

  Copy full SHA for a219496

• Zesen's doc improvements

  goldfirere

  committed
  5b86881

  Copy full SHA for 5b86881

• Reshuffle Lattice into Axis_ops

  goldfirere

  committed
  ad92250

  Copy full SHA for ad92250

• Improve comment (from Ryan)

  goldfirere

  committed
  2fd600c

  Copy full SHA for 2fd600c

• Suggestions from Ryan

  goldfirere

  committed
  1f6e7bf

  Copy full SHA for 1f6e7bf

• Comments from Zesen

  goldfirere

  committed
  65f2e6b

  Copy full SHA for 65f2e6b

Commits on Jan 10, 2025

• Share impls for Monad.Basic and Monad.Basic2

  liam923

  committed
  59ff14b

  Copy full SHA for 59ff14b

Commits on Jan 17, 2025

• Revert change 3274c88, an unnecessary [instance]

  goldfirere

  committed
  4473fb8

  Copy full SHA for 4473fb8

• Show that strange behavior is only printing

  goldfirere

  committed
  ce95b1f

  Copy full SHA for ce95b1f

• Liam's comments

  goldfirere

  committed
  5d07d15

  Copy full SHA for 5d07d15

• Change suggested by Zesen

  goldfirere

  committed
  d87cfbf

  Copy full SHA for d87cfbf

• More Liam review

  goldfirere

  committed
  e032000

  Copy full SHA for e032000

Commits on Jan 20, 2025

• Responses to Leo's comments

  goldfirere

  committed
  5d7e485

  Copy full SHA for 5d7e485

Commits on Jan 30, 2025

• Add test demonstrating issue

  liam923

  committed
  0ca4ba4

  Copy full SHA for 0ca4ba4

• Add soundness bug

  liam923

  committed
  1835b5d

  Copy full SHA for 1835b5d

Commits on Feb 5, 2025

• Round up in Tpoly

  goldfirere

  committed
  d1b324e

  Copy full SHA for d1b324e

Commits on Feb 6, 2025

• Add a flag to control inference of with-bounds on type decls (#3547)

  Show description for 94ce24a
  glittershark

  authored
  94ce24a

  Copy full SHA for 94ce24a