CatalaLang/catala issues and pull requests

#783 - Reformatting

Pull Request - State: closed - Opened by AltGr 1 day ago

#782 - Update OCaml docker image

Pull Request - State: closed - Opened by vincent-botbol 3 days ago

#781 - C backend: fix .h output of toplevel constants

Pull Request - State: closed - Opened by AltGr 3 days ago - 1 comment

#780 - Syntax: fix handling of spacing beside code fences

Pull Request - State: open - Opened by AltGr 4 days ago - 3 comments

#779 - Remove dates_calc pin-depends since its 0.0.7 version is released

Pull Request - State: closed - Opened by vincent-botbol 4 days ago

#778 - Fix trace printing

Pull Request - State: closed - Opened by vincent-botbol 4 days ago

#777 - Make parser more resilient to spaces before Catala code block fences

Issue - State: open - Opened by denismerigoux 11 days ago
Labels: ❓ invalid, 🔧 compiler

#776 - Make the C runtime thread-safe

Pull Request - State: closed - Opened by AltGr 18 days ago

#775 - Add type variables and quantifiers to the AST

Pull Request - State: open - Opened by AltGr 19 days ago

#774 - Fix minted in syntax.pdf

Pull Request - State: closed - Opened by pierregoutagny 24 days ago

#773 - Revert "Stop using String token in pygments lexers"

Pull Request - State: closed - Opened by denismerigoux 24 days ago - 4 comments
Labels: ❌ bug, 🏗️ build system

#772 - Stop using String token in pygments lexers

Pull Request - State: closed - Opened by pierregoutagny 29 days ago

#771 - Better message when no conditions apply

Issue - State: open - Opened by AltGr 30 days ago
Labels: ❓ invalid, 🔧 compiler

#770 - Handle carriage returns in the lexer

Pull Request - State: closed - Opened by vincent-botbol 30 days ago - 3 comments
Labels: ❌ bug, 🔧 compiler, 🤩 ide

#769 - Fix lazy evaluation of and/or in the OCaml backend

Pull Request - State: closed - Opened by AltGr 30 days ago

#768 - Fix confusing disambiguation errors appearing instead of type errors

Pull Request - State: closed - Opened by AltGr about 1 month ago - 1 comment

#767 - Fix C runtime memory leak

Pull Request - State: closed - Opened by vincent-botbol about 1 month ago

#766 - Clerk: list targets on `clerk build` without target

Pull Request - State: closed - Opened by AltGr about 1 month ago - 1 comment

#765 - Clerk: list targets on `clerk build` without target

Pull Request - State: closed - Opened by AltGr about 1 month ago

#764 - Make optional all the initial and default values on list operators

Issue - State: open - Opened by denismerigoux about 1 month ago
Labels: ❓ invalid, 🔧 compiler, 🔚 backends

#763 - Add limited user-facing polymorphism to the language

Issue - State: open - Opened by denismerigoux about 1 month ago
Labels: ✨ enhancement, 🔧 compiler, 💡 language

#762 - Documentation about how to do date addition rounding

Issue - State: open - Opened by denismerigoux about 1 month ago
Labels: 📘 documentation

#761 - Deeper documentation about how to reason with exceptions

Issue - State: closed - Opened by denismerigoux about 1 month ago
Labels: 📘 documentation

#760 - Fix trace parsing to reconstitute the call graph

Issue - State: open - Opened by denismerigoux about 1 month ago
Labels: ❌ bug, 🔧 compiler

#759 - Java backend for Catala

Issue - State: open - Opened by denismerigoux about 1 month ago
Labels: ✨ enhancement, 🔧 compiler

#758 - Produce windows binary for Catala

Issue - State: open - Opened by denismerigoux about 1 month ago
Labels: ✨ enhancement, 🏗️ build system

#757 - `clerk` sets the cwd to the _build dir?

Issue - State: closed - Opened by rprimet about 1 month ago - 3 comments
Labels: ❓ invalid, 🏗️ build system

#756 - Test and fix bad positions in conflict message

Pull Request - State: open - Opened by AltGr about 2 months ago - 3 comments

#755 - Bad position in exception conflict

Issue - State: open - Opened by AltGr about 2 months ago - 2 comments
Labels: ❓ invalid, 🔧 compiler

#754 - Format trace to JSON format

Pull Request - State: closed - Opened by denismerigoux about 2 months ago - 7 comments
Labels: ✨ enhancement, 🔧 compiler

#753 - Add error handler hook in C runtime

Pull Request - State: closed - Opened by vincent-botbol about 2 months ago

#752 - Compatibility with LSP server build on different platforms

Pull Request - State: closed - Opened by denismerigoux 2 months ago
Labels: 🏗️ build system, 🤩 ide

#751 - Tweaks and fixes to the C backend

Pull Request - State: closed - Opened by AltGr 2 months ago

#750 - Module names containing a cedilla fail to register

Issue - State: open - Opened by rprimet 2 months ago
Labels: ❌ bug, 🏗️ build system

#749 - Failures to typecheck during disambiguation / any types

Issue - State: closed - Opened by AltGr 3 months ago - 3 comments
Labels: ❓ invalid, 🔧 compiler

#748 - Typechecking an external module yields no definition errors

Issue - State: open - Opened by denismerigoux 3 months ago
Labels: ❌ bug, 🔧 compiler

#748 - Typechecking an external module yields no definition errors

Issue - State: open - Opened by denismerigoux 3 months ago
Labels: ❌ bug, 🔧 compiler

#747 - LSP selects the "wrong" location to display error message

Issue - State: open - Opened by denismerigoux 3 months ago - 2 comments
Labels: ❓ invalid, 🤩 ide

#747 - LSP selects the "wrong" location to display error message

Issue - State: open - Opened by denismerigoux 3 months ago - 2 comments
Labels: ❓ invalid, 🤩 ide

#746 - Add a conversion operator from decimal to integer

Pull Request - State: closed - Opened by AltGr 3 months ago

#746 - Add a conversion operator from decimal to integer

Pull Request - State: closed - Opened by AltGr 3 months ago

#745 - Add decimal -> integer conversion operation

Issue - State: open - Opened by rprimet 3 months ago - 1 comment
Labels: 📘 documentation, ✨ enhancement, 🔧 compiler

#745 - Add decimal -> integer conversion operation

Issue - State: open - Opened by rprimet 3 months ago - 1 comment
Labels: 📘 documentation, ✨ enhancement, 🔧 compiler

#744 - Fix publiccode.yml usedBy entry

Pull Request - State: closed - Opened by bzg 3 months ago

#743 - Add warning notification and add utility function to passes

Pull Request - State: closed - Opened by vincent-botbol 3 months ago

#742 - Encode default terms as pattern matching

Issue - State: open - Opened by adelaett 3 months ago - 3 comments
Labels: 💬 discussion, ➗ semantics, 💡 language

#741 - Lint suggestion: flag variable states that never depend on the previous one

Issue - State: open - Opened by denismerigoux 3 months ago
Labels: ✨ enhancement, 🔧 compiler

#740 - Output the dependency graph of the current Catala module in JSON format

Issue - State: open - Opened by denismerigoux 3 months ago
Labels: ✨ enhancement, 🔧 compiler

#739 - Declaring types for local variables

Issue - State: open - Opened by denismerigoux 3 months ago - 1 comment
Labels: ✨ enhancement, ❓ invalid, 🔧 compiler

#738 - Add a "never" value to the language

Issue - State: open - Opened by denismerigoux 3 months ago - 3 comments
Labels: ✨ enhancement, 💡 language, #️⃣ syntax

#737 - Integrate clerk and clerk.toml

Issue - State: open - Opened by denismerigoux 3 months ago - 2 comments
Labels: ✨ enhancement, 🏗️ build system

#736 - Implement attachement of code comments to AST node via an AST attribute system

Issue - State: open - Opened by denismerigoux 3 months ago
Labels: ✨ enhancement, 🔧 compiler

#735 - Fix parser conflict on `combine x initially output of y with`

Pull Request - State: closed - Opened by AltGr 3 months ago

#734 - Carry over binders positions in EAbs

Pull Request - State: closed - Opened by vincent-botbol 3 months ago

#733 - Mostly graphical improvements to the explain plugin

Pull Request - State: closed - Opened by AltGr 3 months ago

#732 - Remove outdated tooling

Pull Request - State: closed - Opened by vincent-botbol 4 months ago

#731 - Fix shift/reduce introduced by the new fold syntax

Issue - State: closed - Opened by vincent-botbol 4 months ago
Labels: ❓ invalid, 🔧 compiler

#730 - Update fold syntax

Pull Request - State: closed - Opened by vincent-botbol 4 months ago - 1 comment

#729 - Vendor Catala LSP as a JS binary in VSCode extension

Issue - State: open - Opened by denismerigoux 4 months ago
Labels: ✨ enhancement, 🏗️ build system

#729 - Vendor Catala LSP as a JS binary in VSCode extension

Issue - State: open - Opened by denismerigoux 4 months ago
Labels: ✨ enhancement, 🏗️ build system

#728 - Support external modules in LSP server

Issue - State: closed - Opened by denismerigoux 4 months ago - 1 comment
Labels: ✨ enhancement, 🤩 ide

#728 - Support external modules in LSP server

Issue - State: open - Opened by denismerigoux 4 months ago
Labels: ✨ enhancement, 🤩 ide

#727 - GADT's with object and constraints

Issue - State: closed - Opened by tmarti2 4 months ago - 2 comments

#727 - GADT's with object and constraints

Issue - State: closed - Opened by tmarti2 4 months ago - 2 comments

#726 - Sub_date_dur should also generate a source position in OCaml!

Pull Request - State: closed - Opened by denismerigoux 4 months ago - 1 comment
Labels: ❌ bug, 🔧 compiler, 🔚 backends

#725 - Add a LSP message format

Pull Request - State: closed - Opened by vincent-botbol 4 months ago - 1 comment

#724 - Impossible to write tuple (0,0)

Issue - State: open - Opened by denismerigoux 4 months ago - 3 comments
Labels: ❌ bug, 🔧 compiler

#723 - Add fold syntax to the catala formatter and syntax highlighter

Issue - State: closed - Opened by denismerigoux 4 months ago - 1 comment
Labels: ✨ enhancement, 🤩 ide

#722 - Add a tooling section in readme and deprecate legacy vscode extension

Pull Request - State: closed - Opened by vincent-botbol 4 months ago
Labels: 📘 documentation

#720 - Assertion failure is a warning and does not display assertion position anymore?

Issue - State: closed - Opened by denismerigoux 4 months ago - 3 comments
Labels: ❌ bug, 🔧 compiler

#718 - C backend: workaround bulk freeing of constants

Pull Request - State: closed - Opened by AltGr 4 months ago - 2 comments

#716 - `catala testcase write` generates multiple `using` directives

Issue - State: closed - Opened by rprimet 4 months ago - 2 comments
Labels: ❓ invalid, 🔧 compiler

#715 - Add list folds to the surface syntax

Pull Request - State: closed - Opened by AltGr 4 months ago - 3 comments

#713 - Improvements to the explain plugin

Pull Request - State: open - Opened by AltGr 4 months ago
Labels: ✨ enhancement, 🔧 compiler

#712 - Add TOML encoding

Pull Request - State: open - Opened by vincent-botbol 4 months ago
Labels: ✨ enhancement, 🏗️ build system

#711 - Small collection of fixes and cleanup for the C backend

Pull Request - State: open - Opened by AltGr 4 months ago
Labels: ❌ bug, 🔧 compiler

#710 - Dcalc: don't thunk context inputs anymore

Pull Request - State: closed - Opened by AltGr 4 months ago - 1 comment
Labels: ✨ enhancement, 🔧 compiler

#709 - Improvements for the Catala formatter

Issue - State: open - Opened by denismerigoux 4 months ago - 6 comments
Labels: ✨ enhancement, 🤩 ide

#708 - Add a catch to error raised by get_command

Pull Request - State: closed - Opened by denismerigoux 4 months ago
Labels: ❓ invalid, 🔧 compiler

#707 - Hosting docs and syntax on catala-lang.org

Issue - State: open - Opened by denismerigoux 4 months ago
Labels: 📘 documentation, ✨ enhancement

#706 - Add `--autotest` option

Pull Request - State: closed - Opened by AltGr 4 months ago - 3 comments
Labels: ✨ enhancement, 🔧 compiler, 🏗️ build system

#705 - Suport for composite catala duration literals in the parser

Issue - State: closed - Opened by rprimet 5 months ago - 2 comments
Labels: 💡 language, #️⃣ syntax

#704 - Small interface improvements

Pull Request - State: closed - Opened by AltGr 5 months ago

#703 - Fix handling of the lexer context

Pull Request - State: closed - Opened by AltGr 5 months ago - 3 comments

#702 - LSP : display error messages in a nicer format adapted to VSCode

Issue - State: closed - Opened by denismerigoux 5 months ago
Labels: ✨ enhancement, 🤩 ide

#701 - Call Catala plugin backends from custom clerk targets

Issue - State: open - Opened by denismerigoux 5 months ago
Labels: ✨ enhancement, 🏗️ build system

#700 - Improve the explanation by lazy evaluation plugin

Issue - State: open - Opened by denismerigoux 5 months ago
Labels: ✨ enhancement, 🔧 compiler

#699 - List available targets for clerk

Issue - State: open - Opened by denismerigoux 5 months ago - 1 comment
Labels: 📘 documentation, 🏗️ build system

#698 - Package and automatize the packaging of the Catala VSCode plugin

Issue - State: closed - Opened by denismerigoux 5 months ago - 2 comments
Labels: 🏗️ build system, 🤩 ide

#697 - Expand multiple errors return

Issue - State: open - Opened by denismerigoux 5 months ago
Labels: ✨ enhancement, 🔧 compiler, 🤩 ide

#696 - Positions of locally bound variables in binder

Issue - State: open - Opened by denismerigoux 5 months ago
Labels: ❓ invalid, 🔧 compiler, 🤩 ide

#695 - LSP : print only name of structs and enums on type hover

Issue - State: closed - Opened by denismerigoux 5 months ago - 1 comment
Labels: ✨ enhancement, 🤩 ide

#694 - Fix inconsistent marks

Pull Request - State: closed - Opened by vincent-botbol 5 months ago

#693 - clerk behavior differs when using absolute or relative paths?

Issue - State: closed - Opened by rprimet 5 months ago - 2 comments
Labels: ❌ bug, 🏗️ build system

#692 - RFC - Clerk TOML configuration & Expected usage

Issue - State: open - Opened by vincent-botbol 5 months ago - 3 comments
Labels: 💬 discussion, 🏗️ build system

#691 - Contract language for Catala scopes

Issue - State: open - Opened by denismerigoux 5 months ago - 3 comments
Labels: 🔧 compiler, 💡 language, #️⃣ syntax

#690 - Idiomatic C backend

Issue - State: open - Opened by denismerigoux 5 months ago
Labels: ✨ enhancement, 🔧 compiler

#689 - Fix OCaml backend bug regarding exception source positions

Pull Request - State: closed - Opened by AltGr 5 months ago

#688 - Add the possibility to override inputs of included files

Pull Request - State: closed - Opened by vincent-botbol 5 months ago

#687 - Proper renaming system in the backend

Issue - State: closed - Opened by denismerigoux 5 months ago
Labels: ✨ enhancement, 🔧 compiler, 🏗️ build system

GitHub / CatalaLang/catala issues and pull requests