Louis Gesbert 3649f92975 Rework resolution of module elements ... This changes the `decl_ctx` to be toplevel only, with flattened references to uids for most elements. The module hierarchy, which is still useful in a few places, is kept separately. Module names are also changed to UIDs early on, and support for module aliases has been added (needs testing). This resolves some issues with lookup, and should be much more robust, as well as more convenient for most lookups. The `decl_ctx` was also extended for string ident lookups, which avoids having to keep the desugared resolution structure available throughout the compilation chain.		2023-11-30 21:14:12 +01:00
..
ast.ml	Typed default: fix an issue to the error_on_empty constructor	2023-11-27 11:09:08 +01:00
ast.mli	Improve integration of marks into the main AST	2023-05-17 17:37:00 +02:00
closure_conversion.ml	Rework resolution of module elements	2023-11-30 21:14:12 +01:00
closure_conversion.mli	More doc	2023-06-18 16:08:16 +02:00
compile_with_exceptions.ml	Typing defaults: support nested priorities	2023-11-27 11:09:08 +01:00
compile_with_exceptions.mli	Porting the interpreter to the marked AST	2022-07-11 17:42:30 +02:00
compile_without_exceptions.ml	Typed defaults: translate types in scope lets as well in the new	2023-11-27 11:12:35 +01:00
compile_without_exceptions.mli	finished the implementation, but a few issues are missing	2023-03-13 16:51:06 +01:00
dune	Build: remove unnecessary ppx on dcalc, lcalc	2023-05-17 14:08:32 +02:00
from_dcalc.ml	documentation	2023-04-04 17:02:26 +02:00
from_dcalc.mli	documentation	2023-04-04 17:02:26 +02:00
lcalc.mld	More doc	2023-06-18 16:08:16 +02:00
to_ocaml.ml	Reformat	2023-11-27 11:17:38 +01:00
to_ocaml.mli	Improve handling of module name definitions	2023-09-27 13:14:03 +02:00