Denis Merigoux d7df6b3e80 Typing now takes into account [TAny] in structs/enums		2023-02-08 16:00:53 +01:00
..
ast.ml	Add overloaded operators for the common operations	2022-12-13 11:55:24 +01:00
ast.mli	Rename utils to catala_utils	2022-11-28 16:38:09 +01:00
dependency.ml	Rename utils to catala_utils	2022-11-28 16:38:09 +01:00
dependency.mli	Rename utils to catala_utils	2022-11-28 16:38:09 +01:00
desugared.mld	Used shared_ast for scopelang expressions	2022-08-26 11:31:14 +02:00
disambiguate.ml	Typing now takes into account [TAny] in structs/enums	2023-02-08 16:00:53 +01:00
disambiguate.mli	Add typing-based disambiguation pass after desugaring	2022-11-28 16:38:09 +01:00
dune	Rename utils to catala_utils	2022-11-28 16:38:09 +01:00
from_surface.ml	Add support for paths in the parser	2023-01-16 12:09:23 +01:00
from_surface.mli	Uniform naming of conversion modules across compilation passes	2022-11-22 12:08:18 +01:00
name_resolution.ml	Add support for paths in the parser	2023-01-16 12:09:23 +01:00
name_resolution.mli	Add support for paths in the parser	2023-01-16 12:09:23 +01:00