catala/compiler/plugins
Louis Gesbert d72141653a Allow trace w/ avoid-exceptions, fix options in api_web
--trace and --avoid-exceptions is a warning, but we want to be able to test with
the combination (in particular, api_web as forcing --trace, so we couldn't
detect its issues with exceptions).
2024-04-23 16:01:23 +02:00
..
api_web.ml Allow trace w/ avoid-exceptions, fix options in api_web 2024-04-23 16:01:23 +02:00
dune Rework module includes CLI in Catala 2023-09-27 13:14:40 +02:00
explain.ml Message: further simplification 2024-04-10 19:26:23 +02:00
json_schema.ml Rewriting message calls to use the new intf 2024-04-10 19:26:23 +02:00
lazy_interp.ml Message: further simplification 2024-04-10 19:26:23 +02:00
plugins.mld Remove generated files from git 2023-07-10 15:48:11 +02:00
python.ml Rewriting message calls to use the new intf 2024-04-10 19:26:23 +02:00
README.md Documentation about plugins 2022-08-09 15:00:13 +02:00

Catala compiler plugins

You want to add a customized backend for the Catala compiler but don't want to modify its source code? Thanks to dynamic linking, it is possible to do so. The advantage of creating a customized backend is the possibility to craft a generated target code that perfectly matches the naming conventions, module structure or coding style of your application.

See the online documentation for more details on how to create them, or look at the existing plugins in this directory for inspiration.