Code

New modname module#23

Code

Merged

Octachron merged 31 commits intoOctachron:masterOctachron/codept:masterfrom dinosaure:modnamedinosaure/codept:modnameCopy head branch name to clipboardMay 4, 2023

+1,296-1,047

Commits

Commits on May 4, 2023

• Add debug_callstack to be able to track some errors

  Show description for 35e43dd
  

  dinosaure

  authored and

  Octachron

  committed
  35e43dd

  Copy full SHA for 35e43dd

• Introduce the new Modname module

  Show description for 85ba0f2
  

  dinosaure

  authored and

  Octachron

  committed
  85ba0f2

  Copy full SHA for 85ba0f2

• Replace Name.t by Modname.t into the codept library

  

  dinosaure

  authored and

  Octachron

  committed
  46314d6

  Copy full SHA for 46314d6

• Replace Name.t by Modname.t into the codept core program

  

  dinosaure

  authored and

  Octachron

  committed
  54663a2

  Copy full SHA for 54663a2

• [test] Update the reference of the namespaced test

  Show description for 0c91fb2
  

  dinosaure

  authored and

  Octachron

  committed
  0c91fb2

  Copy full SHA for 0c91fb2

• [test] Update some ways to construct namespaces.

  Show description for aa8d8f8
  

  dinosaure

  authored and

  Octachron

  committed
  aa8d8f8

  Copy full SHA for aa8d8f8

• [test] Update how we compare results and what we expect into tests/run.ml

  Show description for c113984
  

  dinosaure

  authored and

  Octachron

  committed
  c113984

  Copy full SHA for c113984

• [test] Update the run.ml with the new dependency graph of modules

  Show description for 6213b5f
  

  dinosaure

  authored and

  Octachron

  committed
  6213b5f

  Copy full SHA for 6213b5f

• [test] Invalid a test which become wrong with Modname

  

  dinosaure

  authored and

  Octachron

  committed
  884d6cd

  Copy full SHA for 884d6cd

• [test] Update the serialization process and replace solver.mli by Solver

  Show description for 349d301
  

  dinosaure

  authored and

  Octachron

  committed
  349d301

  Copy full SHA for 349d301

• [test] Use Modname.to_string into tests/step_by_step.exe to print the module name

  

  dinosaure

  authored and

  Octachron

  committed
  6f4413f

  Copy full SHA for 6f4413f

• Move is_{lower,upper,valid} into the Support module

  

  dinosaure

  authored and

  Octachron

  committed
  e412107

  Copy full SHA for e412107

• Introduce the new Unitname module

  Show description for 5ecf8f4
  

  dinosaure

  authored and

  Octachron

  committed
  5ecf8f4

  Copy full SHA for 5ecf8f4

• Delete the modulize function from the Modname module

  Show description for a6e301d
  

  dinosaure

  authored and

  Octachron

  committed
  a6e301d

  Copy full SHA for a6e301d

• Replace the usage of the Modname by the Unitname (lib/)

  Show description for dd70c73
  

  dinosaure

  authored and

  Octachron

  committed
  dd70c73

  Copy full SHA for dd70c73

• Replace the usage of the Modname by the Unitname (core/)

  

  dinosaure

  authored and

  Octachron

  committed
  2d2798f

  Copy full SHA for 2d2798f

• Update the implementation of Namespaced.change_file_extension

  Show description for 35f7e41
  

  dinosaure

  authored and

  Octachron

  committed
  35f7e41

  Copy full SHA for 35f7e41

• [test] Update the run.ml with the new dependency graph of modules

  Show description for 94d8e8b
  

  dinosaure

  authored and

  Octachron

  committed
  94d8e8b

  Copy full SHA for 94d8e8b

• [test] Use Unitname.modname into tests/step_by_step.exe to print the module name

  

  dinosaure

  authored and

  Octachron

  committed
  1e920d0

  Copy full SHA for 1e920d0

• Rename Support.is_valid

  Octachron

  committed
  b6516b6

  Copy full SHA for b6516b6

• Fix type error

  Octachron

  committed
  288a988

  Copy full SHA for 288a988

• solver fix: Directed solver must track file names

  Octachron

  committed
  8e23f32

  Copy full SHA for 8e23f32

• Fix bundle_refs

  Octachron

  committed
  fb5afbf

  Copy full SHA for fb5afbf

• Serialisation: use file view in module origin.

  Octachron

  committed
  9c888bc

  Copy full SHA for 9c888bc

• Unitname: use module view in -open

  Octachron

  committed
  280a9fe

  Copy full SHA for 280a9fe

• modes: fix string type error in export mode

  Octachron

  committed
  f0a756b

  Copy full SHA for f0a756b

• unnecessary "_; "

  Octachron

  committed
  0688322

  Copy full SHA for 0688322

• pkg: use Namespaced.fileview_flatten

  Octachron

  committed
  389629e

  Copy full SHA for 389629e

• Modulize: don't rewrite unit names.

  Octachron

  committed
  c5c4447

  Copy full SHA for c5c4447

• Agree on change_extension semantics

  Octachron

  committed
  6deefcb

  Copy full SHA for 6deefcb

• Fix solver alias resolver for unresolved alias

  Octachron

  committed
  6e2de90

  Copy full SHA for 6e2de90