Skip to content

Issues: CatalaLang/catala

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

102 Open 204 Closed
102 Open 204 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Make optional all the initial and default values on list operators 🔚 backends Backend runtime or code generation 🔧 compiler Issue concerns the compiler ❓ invalid This doesn't seem right
#764 opened Jan 7, 2025 by denismerigoux
@AltGr
Add limited user-facing polymorphism to the language 🔧 compiler Issue concerns the compiler ✨ enhancement New feature or request 💡 language Language design
#763 opened Jan 7, 2025 by denismerigoux
@AltGr
Documentation about how to do date addition rounding 📘 documentation Improvements or additions to documentation
#762 opened Jan 7, 2025 by denismerigoux
@denismerigoux
Deeper documentation about how to reason with exceptions 📘 documentation Improvements or additions to documentation
#761 opened Jan 7, 2025 by denismerigoux
@denismerigoux
Fix trace parsing to reconstitute the call graph ❌ bug Something isn't working 🔧 compiler Issue concerns the compiler
#760 opened Jan 7, 2025 by denismerigoux
@AltGr @rprimet
Java backend for Catala 🔧 compiler Issue concerns the compiler ✨ enhancement New feature or request
#759 opened Jan 7, 2025 by denismerigoux
@AltGr @vincent-botbol @rprimet
Produce windows binary for Catala 🏗️ build system Build system or Makefile ✨ enhancement New feature or request
#758 opened Jan 7, 2025 by denismerigoux
@denismerigoux @vincent-botbol
clerk sets the cwd to the _build dir? 🏗️ build system Build system or Makefile ❓ invalid This doesn't seem right
#757 opened Jan 6, 2025 by rprimet
1
Bad position in exception conflict 🔧 compiler Issue concerns the compiler ❓ invalid This doesn't seem right
#755 opened Dec 19, 2024 by AltGr
@AltGr
2
Module names containing a cedilla fail to register ❌ bug Something isn't working 🏗️ build system Build system or Makefile
#750 opened Nov 26, 2024 by rprimet
Failures to typecheck during disambiguation / any types 🔧 compiler Issue concerns the compiler ❓ invalid This doesn't seem right
#749 opened Nov 20, 2024 by AltGr
@AltGr
3
Typechecking an external module yields no definition errors ❌ bug Something isn't working 🔧 compiler Issue concerns the compiler
#748 opened Nov 12, 2024 by denismerigoux Catala as a Proof platform
@AltGr
LSP selects the "wrong" location to display error message 🤩 ide IDE plugins and tooling ❓ invalid This doesn't seem right
#747 opened Nov 12, 2024 by denismerigoux
@vincent-botbol
2
Add decimal -> integer conversion operation 🔧 compiler Issue concerns the compiler 📘 documentation Improvements or additions to documentation ✨ enhancement New feature or request
#745 opened Nov 8, 2024 by rprimet
@AltGr
1
Encode default terms as pattern matching 💬 discussion Further discussion is needed 💡 language Language design ➗ semantics Formal semantics of Catala
#742 opened Nov 3, 2024 by adelaett
3
Lint suggestion: flag variable states that never depend on the previous one 🔧 compiler Issue concerns the compiler ✨ enhancement New feature or request
#741 opened Oct 30, 2024 by denismerigoux
Output the dependency graph of the current Catala module in JSON format 🔧 compiler Issue concerns the compiler ✨ enhancement New feature or request
#740 opened Oct 30, 2024 by denismerigoux
@vincent-botbol
Declaring types for local variables 🔧 compiler Issue concerns the compiler ✨ enhancement New feature or request ❓ invalid This doesn't seem right
#739 opened Oct 30, 2024 by denismerigoux
@AltGr @rprimet
1
Add a "never" value to the language ✨ enhancement New feature or request 💡 language Language design #️⃣ syntax Concerns the syntax committee
#738 opened Oct 30, 2024 by denismerigoux
@AltGr @rprimet
3
Integrate clerk and clerk.toml 🏗️ build system Build system or Makefile ✨ enhancement New feature or request
#737 opened Oct 30, 2024 by denismerigoux
@AltGr @vincent-botbol
2
Implement attachement of code comments to AST node via an AST attribute system 🔧 compiler Issue concerns the compiler ✨ enhancement New feature or request
#736 opened Oct 30, 2024 by denismerigoux
@AltGr
Vendor Catala LSP as a JS binary in VSCode extension 🏗️ build system Build system or Makefile ✨ enhancement New feature or request
#729 opened Oct 17, 2024 by denismerigoux
@vincent-botbol
Impossible to write tuple (0,0) ❌ bug Something isn't working 🔧 compiler Issue concerns the compiler
#724 opened Oct 15, 2024 by denismerigoux
@AltGr
3
Explain plugin broken on demo example ❌ bug Something isn't working 🔧 compiler Issue concerns the compiler
#721 opened Oct 11, 2024 by denismerigoux
@AltGr
3
Broken positions for type error during disambiguation ❌ bug Something isn't working 🔧 compiler Issue concerns the compiler
#717 opened Oct 10, 2024 by AltGr
ProTip! What’s not been updated in a month: updated:<2024-12-08.