Code

Modular explicits#2456

Code

Open

samsa1 wants to merge 25 commits intoocaml-flambda:mainocaml-flambda/flambda-backend:mainfrom

samsa1:modular-explicitsamsa1/flambda-backend:modular-explicitCopy head branch name to clipboard

Commits

Commits on Oct 15, 2024

• Initial port without typecore

  samsa1

  committed
  ca113a8

  Copy full SHA for ca113a8

• Improved did typing of unknown arg

  samsa1

  committed
  5fa1a40

  Copy full SHA for 5fa1a40

• Finished porting minimal version of modular explicits

  samsa1

  committed
  b91b67b

  Copy full SHA for b91b67b

• Corrected errors in printer/printast_with_mappings.ml

  samsa1

  committed
  05c5442

  Copy full SHA for 05c5442

• Fixed build process, tests are failling due to printing errors

  samsa1

  committed
  ac77fa6

  Copy full SHA for ac77fa6

• Updated tests to match current implementation

  samsa1

  committed
  14d1be4

  Copy full SHA for 14d1be4

• modified chamelon to be able to compile

  samsa1

  committed
  83ef0be

  Copy full SHA for 83ef0be

• Revert "modified chamelon to be able to compile"

  Show description for dad9cf6
  samsa1

  committed
  dad9cf6

  Copy full SHA for dad9cf6

• Fixed chamelon to compile easily

  samsa1

  committed
  27ca01c

  Copy full SHA for 27ca01c

• Added example of non-commutativity of typing

  samsa1

  committed
  18b8497

  Copy full SHA for 18b8497

• Solved some bugs and detected a bug related to layout

  samsa1

  committed
  d8e0148

  Copy full SHA for d8e0148

• Updated syntax to be compatible with first class modules and resolved multiple bugs

  samsa1

  committed
  f2ff135

  Copy full SHA for f2ff135

• Cleaned code of update_level

  samsa1

  committed
  a1e5299

  Copy full SHA for a1e5299

• Corrected subtype_rec with Tfunctors

  samsa1

  committed
  a7a08d6

  Copy full SHA for a7a08d6

• Cleaned up a bit of code and corrected a few bugs

  samsa1

  committed
  5544a61

  Copy full SHA for 5544a61

• Backported multiple bug fixes

  

  samsa1

  authored and

  samsa1

  committed
  6c942f0

  Copy full SHA for 6c942f0

• Fixes post rebase

  

  samsa1

  authored and

  samsa1

  committed
  e9529fb

  Copy full SHA for e9529fb

• Corrected layout error

  samsa1

  committed
  ba7b05a

  Copy full SHA for ba7b05a

• First pass on reviews

  samsa1

  committed
  b985076

  Copy full SHA for b985076

• Second pass on commets, mostly about tests

  samsa1

  committed
  b71c160

  Copy full SHA for b71c160

• Second pass on tests

  samsa1

  committed
  a528f0a

  Copy full SHA for a528f0a

Commits on Oct 16, 2024

• Moved things around in ident.ml and refactored a bit in path.ml

  samsa1

  committed
  33ceaee

  Copy full SHA for 33ceaee

• Corrected tests in syntactic-arity/warnings.ml

  samsa1

  committed
  504cb2b

  Copy full SHA for 504cb2b

• Refactoring in typecore and improvement in error messages

  samsa1

  committed
  e92698d

  Copy full SHA for e92698d

• Major rework to handle modes, however this broke printing with rectypes

  samsa1

  committed
  857be89

  Copy full SHA for 857be89