Rename directories to match the names of the libraries they contain

2024-11-08 07:51:43 +03:00 · 2021-02-11 13:17:37 +01:00 · 2021-02-11 13:17:37 +01:00 · edd94dcc0e
commit edd94dcc0e
parent 02a6cbb966
38 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -30,7 +30,7 @@ format:
 	dune build @fmt --auto-promote 2> /dev/null | true 

 build:
-	@$(MAKE) --no-print-directory -C src/catala/catala_surface parser_errors.ml
+	@$(MAKE) --no-print-directory -C src/catala/surface parser_errors.ml
 	@$(MAKE) --no-print-directory format
 	dune build src/catala/catala.exe

--- a/src/catala/default_calculus/ast.ml
+++ b/src/catala/default_calculus/ast.ml
--- a/src/catala/default_calculus/dcalc.mld
+++ b/src/catala/default_calculus/dcalc.mld
--- a/src/catala/default_calculus/dune
+++ b/src/catala/default_calculus/dune
--- a/src/catala/default_calculus/interpreter.ml
+++ b/src/catala/default_calculus/interpreter.ml
--- a/src/catala/default_calculus/print.ml
+++ b/src/catala/default_calculus/print.ml
--- a/src/catala/default_calculus/typing.ml
+++ b/src/catala/default_calculus/typing.ml
--- a/src/catala/lambda_calculus/ast.ml
+++ b/src/catala/lambda_calculus/ast.ml
--- a/src/catala/lambda_calculus/compile_with_exceptions.ml
+++ b/src/catala/lambda_calculus/compile_with_exceptions.ml
--- a/src/catala/lambda_calculus/dune
+++ b/src/catala/lambda_calculus/dune
--- a/src/catala/lambda_calculus/to_ocaml.ml
+++ b/src/catala/lambda_calculus/to_ocaml.ml
--- a/src/catala/literate_programming/dune
+++ b/src/catala/literate_programming/dune
--- a/src/catala/literate_programming/html.ml
+++ b/src/catala/literate_programming/html.ml
--- a/src/catala/literate_programming/latex.ml
+++ b/src/catala/literate_programming/latex.ml
--- a/src/catala/literate_programming/literate.mld
+++ b/src/catala/literate_programming/literate.mld
--- a/src/catala/scope_language/ast.ml
+++ b/src/catala/scope_language/ast.ml
--- a/src/catala/scope_language/dependency.ml
+++ b/src/catala/scope_language/dependency.ml
--- a/src/catala/scope_language/dune
+++ b/src/catala/scope_language/dune
--- a/src/catala/scope_language/print.ml
+++ b/src/catala/scope_language/print.ml
--- a/src/catala/scope_language/scope_to_dcalc.ml
+++ b/src/catala/scope_language/scope_to_dcalc.ml
--- a/src/catala/scope_language/scopelang.mld
+++ b/src/catala/scope_language/scopelang.mld
--- a/src/catala/catala_surface/Makefile
+++ b/src/catala/catala_surface/Makefile
--- a/src/catala/catala_surface/ast.ml
+++ b/src/catala/catala_surface/ast.ml
--- a/src/catala/catala_surface/desugaring.ml
+++ b/src/catala/catala_surface/desugaring.ml
--- a/src/catala/catala_surface/dune
+++ b/src/catala/catala_surface/dune
--- a/src/catala/catala_surface/fill_error_tokens.py
+++ b/src/catala/catala_surface/fill_error_tokens.py
--- a/src/catala/catala_surface/fill_positions.ml
+++ b/src/catala/catala_surface/fill_positions.ml
--- a/src/catala/catala_surface/lexer.ml
+++ b/src/catala/catala_surface/lexer.ml
--- a/src/catala/catala_surface/lexer_en.ml
+++ b/src/catala/catala_surface/lexer_en.ml
--- a/src/catala/catala_surface/lexer_fr.ml
+++ b/src/catala/catala_surface/lexer_fr.ml
--- a/src/catala/catala_surface/name_resolution.ml
+++ b/src/catala/catala_surface/name_resolution.ml
--- a/src/catala/catala_surface/parse_utils.ml
+++ b/src/catala/catala_surface/parse_utils.ml
--- a/src/catala/catala_surface/parser.messages
+++ b/src/catala/catala_surface/parser.messages
--- a/src/catala/catala_surface/parser.mly
+++ b/src/catala/catala_surface/parser.mly
--- a/src/catala/catala_surface/parser_driver.ml
+++ b/src/catala/catala_surface/parser_driver.ml
--- a/src/catala/catala_surface/parser_errors.ml
+++ b/src/catala/catala_surface/parser_errors.ml
--- a/src/catala/catala_surface/print.ml
+++ b/src/catala/catala_surface/print.ml
--- a/src/catala/catala_surface/surface.mld
+++ b/src/catala/catala_surface/surface.mld