catala/compiler/lcalc
Louis Gesbert 35c862f906 Cleanup a bit the generation of the HandleExceptions operator
this behaviour in part duplicates the work of `-O`, but it's lighter-weight, and
it's often more convenient to debug code without `-O` (which still has impact on
traces generation) ; and this removes one or two levels of obfuscation when you
read the intermediate code.
2024-08-29 10:55:12 +02:00
..
ast.ml AST change: more specific application 2023-12-19 17:27:40 +01:00
ast.mli AST change: more specific application 2023-12-19 17:27:40 +01:00
closure_conversion.ml Implement safe renaming of idents for backend printing 2024-08-28 17:18:26 +02:00
closure_conversion.mli Preserve and propagate types through closure conversion 2024-05-30 17:00:07 +02:00
dune Build: remove unnecessary ppx on dcalc, lcalc 2023-05-17 14:08:32 +02:00
from_dcalc.ml Cleanup a bit the generation of the HandleExceptions operator 2024-08-29 10:55:12 +02:00
from_dcalc.mli Remove the with-exceptions backend 2024-07-04 15:08:13 +02:00
lcalc.mld More doc 2023-06-18 16:08:16 +02:00
monomorphize.ml Debugging monomorphisation 2024-07-04 15:08:13 +02:00
monomorphize.mli Simplify monomorphisation, and preserve type annotations 2024-02-06 18:00:25 +01:00
to_ocaml.ml Renaming: move to its own module 2024-08-28 18:12:28 +02:00
to_ocaml.mli Renaming: move to its own module 2024-08-28 18:12:28 +02:00