Code

Rework jkind default#2158

Code

Merged

goldfirere merged 13 commits intoaec/allow-any-in-tarrowocaml-flambda/flambda-backend:aec/allow-any-in-tarrowfrom

aec/rework-jkind-defaultocaml-flambda/flambda-backend:aec/rework-jkind-defaultCopy head branch name to clipboard

Dec 18, 2023

Commits

Commits on Dec 13, 2023

• extend policy to control ty var jkind init

  alanechang

  committed
  d60a76a

  Copy full SHA for d60a76a

• annotation on type vars should be upper bounds

  alanechang

  committed
  582f60b

  Copy full SHA for 582f60b

• proper jkind reason

  alanechang

  committed
  b056c36

  Copy full SHA for b056c36

Commits on Dec 14, 2023

• sort init rhs of constraints for backward compatibility

  alanechang

  committed
  e37e050

  Copy full SHA for e37e050

• add comment&rename to jkind_initialization_choice

  alanechang

  committed
  8ddac50

  Copy full SHA for 8ddac50

• refactor policy

  alanechang

  committed
  bfb2f13

  Copy full SHA for bfb2f13

• comment about transl_simple_type_delayed

  alanechang

  committed
  eed2bc8

  Copy full SHA for eed2bc8

• use Any more in typeclass

  alanechang

  committed
  39af45f

  Copy full SHA for 39af45f

• add new_var_jkind param and thread it through

  alanechang

  committed
  1be3148

  Copy full SHA for 1be3148

• use Any for with constraint

  alanechang

  committed
  4a8df8e

  Copy full SHA for 4a8df8e

• add note

  alanechang

  committed
  b5d4ab7

  Copy full SHA for b5d4ab7

• more tests

  alanechang

  committed
  4608d1f

  Copy full SHA for 4608d1f

• more tests

  alanechang

  committed
  64b2344

  Copy full SHA for 64b2344