Denis Merigoux
Denis Merigoux
In order to implement #657, a method for setting break-points will be needed, but also a method to inspect the trace and look at specific events quickly and easily. This...
Building on #652, the VSCode Catala plugin should offer a view where a user can run the full test suite of a Catala project, and display the test report, focusing...
In order to avoid passing command-line arguments each time to `clerk`, the notion of Catala project with a source files layout, build targets and dependencies specification should be specified in...
Currently, this is the format of raw computation trace events: https://github.com/CatalaLang/catala/blob/6e5e99a60ad93d25cdc93a67874b6b205ab4d6a9/runtimes/ocaml/runtime.mli#L146-L151 This format can be improved in several ways to enrich the trace with more information about how something has...
## Problem Currently, Catala programs include explicit type declarations and functions signatures. Hence, the input of a Catala program is completely determined and in general is a non-recursive algebraic datatype...
This section should contain the following : * an explanation about the two ways Catala programs can be executed : interpretation and compilation * instructions of setup and use about...
It should look like this: ```catala #[error = "This is the message printed when it's an error"] impossible ``` It should only be allowed to tag `impossible`, not elsewhere. The...
We want the interpreter to launch scopes with an input described in the JSON format. Of course, this cannot work with inputs that contain functions. We should also be able...
Suggestion : we should move the trace parsing code from the runtime to a new little executable that parses the trace from a JSON format output by https://github.com/CatalaLang/catala/pull/754 and produces...
Right now, local variables inside scope variable definitions (`let x equals ... in ...` syntax) have their types inferred. However, if you define a local variable whose type cannot be...