vbot 441dd54ec3 Refactor suggestions		2024-06-20 15:59:54 +02:00
..
ast.ml	Pass the "external module" info along passes	2024-05-28 11:43:50 +02:00
ast.mli	Pass the "external module" info along passes	2024-05-28 11:43:50 +02:00
dependency.ml	Computation and checking of module hashes	2024-05-28 11:43:50 +02:00
dependency.mli	Output scopes and subscope variable rework done	2024-04-04 10:24:18 +02:00
desugared.mld	Fix most doc errors	2023-06-02 17:17:45 +02:00
disambiguate.ml	Add multiple typing errors using delayed errors	2024-06-19 14:52:31 +02:00
disambiguate.mli	AST change: more specific application	2023-12-19 17:27:40 +01:00
dune	Rename utils to catala_utils	2022-11-28 16:38:09 +01:00
from_surface.ml	Refactor suggestions	2024-06-20 15:59:54 +02:00
from_surface.mli	Uniform naming of conversion modules across compilation passes	2022-11-22 12:08:18 +01:00
linting.ml	Fix error message typo	2024-06-05 15:19:12 +02:00
linting.mli	Update error messages	2023-03-31 14:01:04 +02:00
name_resolution.ml	Pass the "external module" info along passes	2024-05-28 11:43:50 +02:00
name_resolution.mli	Pass the "external module" info along passes	2024-05-28 11:43:50 +02:00
print.ml	Message formatting: final touches	2024-05-03 15:14:51 +02:00
print.mli	Refactoring changes after @altgr's suggestions	2023-04-18 10:31:44 +02:00