Emile Rolley ⏚
Emile Rolley ⏚
In order to have a consistent formatted source code, this PR adds a Makefile rule `format` calling `ocamlformat.0.8` and provides a minimal `.ocamlformat` file (which is **not meant to be...
> Related project scope: `grader` ## Bug description **When trying to grade an exercise from the `demo-repository`, an internal error is raised.** ### To Reproduce Steps to reproduce the behavior:...
> Related PR: #445 > Related project scope: `cli` > Related user: @jmaupetit ## The problem I wanted to use the `status` command output with other tools such as [starship](https://starship.rs)....
Hello, I would like to know if there would be any reticence to add the possibility to use `Compl` with a non single-character length regexp ?
While refactoring the log event structure in #280, I found that generated raw log events by compiled catala programs differ from the interpreter log trace. It appears that it comes...
We discovered with @denismerigoux that the compiler optimization (`-O` flag) doesn't preserve the entire log trace.
As suggered in #252, adding a formatter to the Catala toolkit could be a great improvement for both the developer and the reviewer experience. Catala being a literate programming language,...
#186 introduced some test for Clerk, however, there are very minimal and not enough at all. It only allowed to setup `alcotest` and write some test case examples. The goal...
The PR #129 added the wildcard in patterns as a syntactic sugar: https://github.com/CatalaLang/catala/blob/144cca12a6346b25be06e0fdcc5d707064cf9300/src/catala/surface/desugaring.ml#L825-L838 But as suggested by @denismerigoux in https://github.com/CatalaLang/catala/issues/105#issuecomment-850818120, wildcard support should be added in `Scopelang`, `Dcalc` and `Lcalc`.
> Closes #1520. > > To test the PR, you this preview: https://deploy-preview-641--nosgestesclimat.netlify.app/?PR=1522 Follows up of https://github.com/datagir/nosgestesclimat-site/pull/641 for the model. ## Changelog * New scripts: * `check-translation.js` * `i18n/cli.js`, `i18n/utils.js`...