Louis Gesbert

A subscope declared as `output sub scope SomeScope` (instead of `sub scope SomeScope`) would have the same behaviour, except that a field `sub` containing the output struct of `SomeScope` is...

Module support (tracking issue)

2

### Synthetic overview of where module support is currently at * Module interface: the `catala-metadata` sections of a normal Catala file * Module name based upon filename at the moment...

Sugar for operations on collection literals

2

Operations on collections are purposefully a bit verbose, with e.g. `minimum` always requiring `or if collection empty then `; This is good to enforce being careful against this kind of...

Update compiler pass docs in `compiler/*/*.mld`

2

These are wildly out of date

Easier to use counter-examples in the Proof back-end

4

When running in "Proof" mode, you can detect e.g. two conflicting exceptions. Catala, in this case, outputs a counter-example made of the input variables of the concerned scopes (and internal...

More overloaded operators

1

Following #365 it would be nice to do a little bit more: ## Equality handling For now equality is fully polymorphic and the backend or runtime is expected to provide...

OSX package ?

6

New mac users have been disappointed to only find a Windows package, and frightened to compile from source. We need to at least make the documentation on installing with opam...

If you try to undo too many times, gtk shows some assert failures. If you then try to redo, it scrambles your buffer. This is a bug in the libraries,...

Memory leak on Windows on some setups

2

the windows version memory usage grows by a few MB every time you do _any_ action...) it may crash the application once there is no more free memory (takes a...

module Graphics sometimes doesn't work on Windows

1

functions return no error, but open_graph doesn't show anything