Results 55 issues of Louis Gesbert
trafficstars

Also, some debugging of the monomorphisation pass. Quoting the main patch from this PR: ```quote *Disclaimer*: This is intended for discussion My impression is that the with-exceptions backend is to...

Ref. #482 At the moment, we have [support for externally implemented modules](https://github.com/CatalaLang/catala/blob/9af7548bf08f0cbedecb635f0ffeec0598ce2430/doc/devel/externals.md) in a very raw form: an escape hatch allows to provide directly the ml artifact for the module...

✨ enhancement
🔧 compiler
🏗️ build system

This should be added since it's now possible they appear in traces

🔧 compiler

Now that we have "output subscopes", it is only natural to consider "input subscopes". ## What would be the point ? A case that can be considered is defining an...

✨ enhancement
💬 discussion
💡 language

I had a weird error while building dose3 on 4.04, and tracked it down to this. Disabling the hack seemed to work for me, but it must have been here...

(reopen of #601, closed by mistake) This mainly required time debugging and finding which parts of the code where silently failing with the newer version. Once I found the way...

kind: feature

#602 brings us to OCaml 5.1, which has support for effects. jsoo in turns has support for this feature, but it is disabled by default and requires `--enable=effects` (enabling it...

kind: enhancement

The repository had gtk3 and gtksourceview2, but not gtksourceview3. This is my first package so I am not totally sure everything is done correctly. I had it working successfully for...

Constants may need initialisation and allocations, which we do lazily, but that doesn't combine well with the way our allocator works, freeing everything in bulk. This patch adds a switch...