Results 55 issues of Louis Gesbert
trafficstars

See https://github.com/CatalaLang/catala/blob/listfolds/tests/array/good/broken-message.catala_en

❌ bug
🔧 compiler

`input` and `output` vars are reasonably easy to make sense of, but the third kind, `context`, is I think a tripping point when learning the language. The tutorial could be...

📘 documentation
#️⃣ syntax

and ensure that rounding_mode directives are properly handled, which is not the case right now.

🔧 compiler
🔚 backends

The current C backend being prototyped follows the functional spirit from the lambda-calculus it stems from: functions work with return values, and for that proceed with allocations and return pointers....

💬 discussion
🔧 compiler
🔚 backends

The feature was added in #4939 and seems to no longer work, I get lots of mismatched checksums even without the option `--check-all`. There was some refactoring in checksum handling...

AREA:ADMIN