Louis Gesbert

Ah indeed, the Dockerfile `ENTRYPOINT` is `["dumb-init","/usr/bin/learn-ocaml","--sync-dir=/sync","--repo=/repository"]`, which doesn't go through a shell, but we'd need to interspede the snippet between the `dumb-init` and the `learn-ocaml` process. Of course we...

Update: it's still in progress, but I have a working tree-sitter parser at https://github.com/AltGr/tree-sitter-catala and the included `catala.el` file contains an emacs mode (for emacs 29+) that can do automatic...

The easiest way for formatting Catala at this point will be to use https://github.com/AltGr/tree-sitter-catala and https://github.com/tweag/topiary

I only now stumbled upon this old issue, but similar questions keep arising regularly. At the risk of stating the obvious, inlining or lazy evaluation come to mind, although in...

There are two parts in this: - arbitrary function calls — we already have this with multiple arguments now - namespacing — I believe this will be handled by the...

Hi @yokurang and thanks a lot for your interest. With our extended usage of the language since then we haven't been hitting the case covered by the sugar proposed here...

When we rewrite variable naming in the backends to ensure clashes are prevented, there will be one more thing to take into account: now that we have modules, their contents...

Some related remarks that will need to be considered here; on the current state of the compiler: - some built-in operators are polymorphic, like collection mapping or reduction. Their types...

Just adding my :+1: on this: I'd be very interested in having this fixed for proper handling of OCaml .mli files

Sorry about it! Are there standard solutions for handling this ? The one I can imagine is to always write to temp files, then swap. We would have to update...