catala/compiler/scopelang
Louis Gesbert 54eee2edea Rationalise the tuple / enum types
This will allow to unify with types used earlier in the
pipeline (`Scopelang.Ast.typ`).

It seems cleaner! But some areas may warrant a later clean-up, in particular
handling of options and their types in the backends, or possible name conflicts
of structs/enums with built-in types when printing.
2022-08-23 15:48:06 +02:00
..
ast.ml Additional cleanup/fixes on the compiler refactoring 2022-08-23 00:13:02 +02:00
ast.mli Leverage the shared AST: big cleanup (part I) 2022-08-22 19:28:21 +02:00
dependency.ml reformat 2022-08-22 19:28:27 +02:00
dependency.mli Leverage the shared AST: big cleanup (part I) 2022-08-22 19:28:21 +02:00
dune Big renaming and dir reorg 2021-06-21 11:39:06 +02:00
print.ml Factorise AST printers 2022-08-22 19:28:27 +02:00
print.mli Leverage the shared AST: big cleanup (part I) 2022-08-22 19:28:21 +02:00
scope_to_dcalc.ml Rationalise the tuple / enum types 2022-08-23 15:48:06 +02:00
scope_to_dcalc.mli reformat 2022-08-22 19:28:27 +02:00
scopelang.mld Documentation pass 2022-01-19 10:54:16 +01:00