Louis Gesbert
At the moment, the compiler will chose arbitrarily which one applies when two active exceptions (or more) return the same result (see 9ef8625). It might be an issue in some...
The rationale is now to assume the "no" case in the menus whenever there is no input to read from.
Pass along a bindlib context to allow the variable names to be altered only when disambiguation is needed. Partial fix to #240 (doesn't affect the backends, only the printer for...
The summer has seen a thourough code reorganisation, with the unification of shared code and types for different passes under the `shared_ast` sub-library. However, the AST structures themselves have been...
Let's imagine the following code: > For purposes of this article, the income should be assumed to be at most $1200 and that we have a structure `Person` containing lots...
While we have a few checks in [desugared/linting.ml](https://github.com/CatalaLang/catala/blob/master/compiler/desugared/linting.ml), many more could be added. List to be completed: - [ ] check for unused local variables - [ ] case checking...
We have a printer with some debug options for our intermediate ASTs that is very precious for debugging. Sometimes, in particular when debugging typing errors, it's useful to output all...
[This PR](https://github.com/CatalaLang/catala/pull/582#issuecomment-1948415695) has some issues related to this. In several contexts, we want clearly defined datatypes for interchange: types of arguments and returned values when compiled Catala code is used...
We agreed to introduce tuples in the surface language (see #529). This is very straightforward, but we also need a way to *destruct* them to get back their members. -...