Code

ATD modules (work in progress)#297

Code

Draft

mjambon wants to merge 10 commits intomasterahrefs/atd:masterfrom mj-atd-modulesahrefs/atd:mj-atd-modulesCopy head branch name to clipboard

+3,632-2,638

Commits

Commits on May 5, 2022

• Add support for ATD modules ('import') - WIP

  mjambon

  committed
  7f7d220

Commits on May 10, 2022

• WIP

  mjambon

  committed
  21c6b63

Commits on Nov 14, 2022

• Merge remote-tracking branch 'origin/master' into mj-atd-modules

  mjambon

  committed
  e1362b1

• Work in progress

  mjambon

  committed
  9929394

Commits on Nov 15, 2022

• Work in progress

  mjambon

  committed
  7bd2445

Commits on Nov 16, 2022

• It compiles and the tests pass.

  mjambon

  committed
  21e8d71

• Replacing type names by a list of dot-separated components. WIP

  mjambon

  committed
  ca5746e

Commits on Nov 17, 2022

• Implemented and tested import functionality in atdpy.

  Show description for 2fddace
  mjambon

  committed
  2fddace

Commits on Nov 19, 2022

• Split ocaml.ml into meaningful modules. WIP

  mjambon

  committed
  f406178

Commits on Nov 21, 2022

• Split ocaml.ml into meaningful modules. Still a work in progress.

  mjambon

  committed
  6d67a10