Louis Gesbert

Proposal corresponding to that suggestion in #297

This should be merged into the discussion for #277: we probably want a similar syntax for calling scopes as subscopes like here, and as function calls like in #277.

I started having a look, and there are a few optimisation cases indeed where the log annotations are just dropped. It's possible to detect these cases, perform the optimisations and...

Hasn't ths been done already ? The structure is not the one proposed exactly, but uses binders in the current AST

Additionally, this could allow automatic translation from one Catala dialect to another, _e.g._ French to Engish.

Thanks for the details! One more thing pops to mind: does that mean that being in a module is actually optional, so you have separate files starting with `> Module...

Ugh indeed!!

Added a related test in #319; but it seems to pass ??

The depext check is lazy and I believe it shouldn't be forced on `opam show` :thinking: I don't reproduce such a delay, so your `--debug` output would be helpful. It...

@rjbou found it: there is actually a `Lazy.force` used to get the latest version, only when you `opam show` a package that is not installed (in which case, the installed...