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

93 Open 204 Closed
93 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

Module names containing a cedilla fail to register
#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
1
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
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
1
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
Hosting docs and syntax on catala-lang.org 📘 documentation Improvements or additions to documentation ✨ enhancement New feature or request
#707 opened Oct 2, 2024 by denismerigoux
@rprimet
Call Catala plugin backends from custom clerk targets 🏗️ build system Build system or Makefile ✨ enhancement New feature or request
#701 opened Sep 25, 2024 by denismerigoux
@AltGr
List available targets for clerk 🏗️ build system Build system or Makefile 📘 documentation Improvements or additions to documentation
#699 opened Sep 25, 2024 by denismerigoux
@AltGr
1
Expand multiple errors return 🔧 compiler Issue concerns the compiler ✨ enhancement New feature or request 🤩 ide IDE plugins and tooling
#697 opened Sep 25, 2024 by denismerigoux
Positions of locally bound variables in binder 🔧 compiler Issue concerns the compiler 🤩 ide IDE plugins and tooling ❓ invalid This doesn't seem right
#696 opened Sep 25, 2024 by denismerigoux
RFC - Clerk TOML configuration & Expected usage 🏗️ build system Build system or Makefile 💬 discussion Further discussion is needed
#692 opened Sep 19, 2024 by vincent-botbol
@AltGr @denismerigoux @rprimet
3
Contract language for Catala scopes 🔧 compiler Issue concerns the compiler 💡 language Language design #️⃣ syntax Concerns the syntax committee
#691 opened Sep 19, 2024 by denismerigoux
@AltGr
3
Idiomatic C backend 🔧 compiler Issue concerns the compiler ✨ enhancement New feature or request
#690 opened Sep 19, 2024 by denismerigoux
@AltGr
CI for testing examples with a constant compiler 🏗️ build system Build system or Makefile ✨ enhancement New feature or request ⚖️ program This issue concerns some Catala program
#686 opened Sep 10, 2024 by denismerigoux
@AltGr
ProTip! Follow long discussions with comments:>50.