Louis Gesbert 14f1ebfd0a Reformat		2022-10-04 14:50:37 +02:00
..
definitions.ml	Implement typing of desugared/scopelang and lcalc terms	2022-10-04 14:50:37 +02:00
dune	Simplify some type aliases	2022-08-22 19:28:27 +02:00
expr.ml	Reformat	2022-10-04 14:50:37 +02:00
expr.mli	Reformat	2022-10-04 14:50:37 +02:00
print.ml	Printer: add debug version that doesn't require a context	2022-10-04 14:50:37 +02:00
print.mli	Printer: add debug version that doesn't require a context	2022-10-04 14:50:37 +02:00
program.ml	Make all supertypes use ('a, 't) gexpr as parameter instead of naked_gexpr	2022-08-29 11:29:24 +02:00
program.mli	Make all supertypes use ('a, 't) gexpr as parameter instead of naked_gexpr	2022-08-29 11:29:24 +02:00
scope.ml	Reformat	2022-10-04 14:50:37 +02:00
scope.mli	Small cleanup	2022-08-29 11:29:24 +02:00
shared_ast.ml	Generalise the typer	2022-10-04 14:50:37 +02:00
shared_ast.mld	Rename marked_expr -> expr, expr -> naked_expr throughout	2022-08-29 11:29:23 +02:00
typing.ml	Some more fixes for remaining invalid typing	2022-10-04 14:50:37 +02:00
typing.mli	Make the typer use (and check) already existing annotations, if any	2022-10-04 14:50:37 +02:00
var.ml	Make all supertypes use ('a, 't) gexpr as parameter instead of naked_gexpr	2022-08-29 11:29:24 +02:00
var.mli	Make all supertypes use ('a, 't) gexpr as parameter instead of naked_gexpr	2022-08-29 11:29:24 +02:00