This release of Catala is dedicated to the Blanco case of French administrative law, that institutes the responsibility of the State before administrative courts in events linked to activities made under its mandate of public service, even if these activities would have been under the jurisdiction of private law courts if they had been performed by a private company.
This release focuses on stability and bug-fixing of the Catala tooling, and brings in a lot of under-the-hood refactoring of the codebase. As always, all the features are documented in the Catala book.
New features
List sorting
TODO
Catala playground
The Catala playground allows you to test Catala without installing it on your computer. It only works with simple programs and is not a fully-fledged replacement of a local Catala toolchain installation. However, it is perfect for teaching environments and for following the tutorial and practice exercices!
Exceptions graph in VSCode
Tired of looking around for all the conditional definitions and exceptions for the same scope variable? The VSCode plugin now has you covered. Right-click on the name of a variable or hover on its declaration to show its definition tree, complete with all the conditional definitions and their exception relationship between one another.
Auto-completion in VSCode
Variable, type and scope names now autocomplete in VSCode when you're coding ! Our implementation of auto-complete might lack fine-grained context handling and return you non-relevant proposals though.
Fixes and small improvements
- Fixes in the Python runtime.
- Streamlined
opampackaging that separates the proof and JS builds of Catala. - Internal scope variables can remain undefined (no conditional definitions applied) as long as they're not used afterwards.
- Multiple
clerkbug fixes. - Multiple fixes for the compilation from Catala to Java and improved Java runtime with conversion helpers to and from Catala types.
- External modules now support externally-implemented types as well.
- Pattern matching can now match tuple components in payload of enumeration cases.
- Date standard library enhanced with primitives to finely control the rounding mode of each operation.
- Backends now support introspection of values, which helps for defining custom comparison functions for types, logging, etc.
- The test case editor now correctly displays optional, period and enumeration values.