Skip to content
New issue

Sanalejo

No due date 25% complete

Issues to be addressed in the long term

Support builtin unicode strings enhancement New feature or request frozen language
#1357 opened Jun 28, 2022 by janmasrovira
Show the qualified names for any type/term in an error message enhancement New feature or request error-messaging frozen
#1407 opened Jul 21, 2022 by jonaprieto
1
Faithfully pretty print Internal and Core prettyprinting priority:low refactor
#2129 opened May 24, 2023 by janmasrovira
Create online Juvix playground dev-tools enhancement New feature or request pending-review
#2488 opened Oct 31, 2023 by paulcadman
Reg->C: ALLOC_CONSTR_TUPLE calls are generated with the incorrect number of arguments backend:c enhancement New feature or request
#2588 opened Jan 23, 2024 by paulcadman
1
Add recursive generation for markdown files for proper hyperlink functionality enhancement New feature or request frontend:markdown
#2529 opened Nov 21, 2023 by jonaprieto
2
Formatter support for Juvix Markdown frontend:markdown juvix-formatter
#2519 opened Nov 16, 2023 by jonaprieto
@janmasrovira
Default values for record fields enhancement New feature or request syntax
#2427 opened Oct 4, 2023 by lukaszcz
@janmasrovira
1
Implicit (type) variables inconsistent resolution pending-review
#2412 opened Sep 28, 2023 by jonaprieto
2
Allow explicit qualification to disambiguate symbols scoping
#2410 opened Sep 28, 2023 by jonaprieto
Design and implement a warning system discussion enhancement New feature or request pending-review
#2403 opened Sep 28, 2023 by janmasrovira
Bug in typechecking (inference generates ill-scoped terms) bug typechecking
#2247 opened Jul 7, 2023 by janmasrovira
1
@janmasrovira
1
Dead code elimination core Related to JuvixCore enhancement New feature or request optimization
#2228 opened Jun 26, 2023 by lukaszcz
Add test-with field to juvix.yaml for Juvix compiler version specification enhancement New feature or request package-manager
#2069 opened May 10, 2023 by jonaprieto
2
Precompute the values of zero-argument functions enhancement New feature or request optimization runtime
#1768 opened Jan 25, 2023 by lukaszcz
Preallocate zero-argument closures backend:c enhancement New feature or request optimization
#1682 opened Dec 23, 2022 by lukaszcz
Recursive lambdas language syntax
#1638 opened Nov 22, 2022 by jonaprieto
@janmasrovira
1
Liveness analysis in JuvixAsm asm enhancement New feature or request optimization pending-review
#1562 opened Sep 28, 2022 by lukaszcz
Peephole optimisation of JuvixAsm asm enhancement New feature or request optimization
#1561 opened Sep 28, 2022 by lukaszcz
Garbage collector enhancement New feature or request runtime
#1559 opened Sep 28, 2022 by lukaszcz
Unboxing, untagging and unpacking of constructors asm enhancement New feature or request optimization runtime
#1560 opened Sep 28, 2022 by lukaszcz
Transparent arbitrary-precision integers in the runtime enhancement New feature or request runtime
#1558 opened Sep 28, 2022 by lukaszcz
1
malloc-like allocator in the runtime enhancement New feature or request runtime
#1557 opened Sep 28, 2022 by lukaszcz
Develop a language server protocol (LSP) implementation for Juvix dev-tools enhancement New feature or request
#2832 opened Jun 17, 2024 by janmasrovira
@janmasrovira
Instances in local modules are automatically imported potentially causing unintended clashes discussion modules traits
#3174 opened Nov 14, 2024 by lukaszcz
Implement a type checker for JuvixCore enhancement New feature or request pending-review typechecking
#3209 opened Dec 2, 2024 by paulcadman
Allow or patterns in a single branch enhancement New feature or request pattern-matching syntax
#2986 opened Sep 2, 2024 by lukaszcz
Add applicative do notation enhancement New feature or request syntax
#2966 opened Aug 21, 2024 by janmasrovira
Allow Judoc comments for function arguments and the return value enhancement New feature or request html judoc Juvix documentation generation
#2964 opened Aug 20, 2024 by lukaszcz
2
Add a "volatile" pragma enhancement New feature or request optimization
#2907 opened Jul 18, 2024 by lukaszcz
Allow modules to be extended discussion enhancement New feature or request
#2873 opened Jul 2, 2024 by lukaszcz
3
Stop depending on aeson-better-errors refactor
#2621 opened Feb 5, 2024 by janmasrovira
@janmasrovira
Isabelle/HOL translation: some comments get lost backend:isabelle bug pending-review
#3131 opened Oct 28, 2024 by lukaszcz
Isabelle/HOL translation: syntax aliases incorrectly translated backend:isabelle bug pending-review
#3047 opened Sep 14, 2024 by lukaszcz
1
Isabelle/HOL translation: record syntax incorrectly translated with multiple constructors and nested record patterns backend:isabelle bug pending-review
#3045 opened Sep 14, 2024 by lukaszcz
1
Isabelle/HOL translation: recursive translation of the whole project backend:isabelle enhancement New feature or request
#2977 opened Aug 28, 2024 by lukaszcz Loading…
5 tasks done
1
@lukaszcz
8
Isabelle/HOL translation: fix nested pattern matching backend:isabelle fix:bug
#3049 opened Sep 18, 2024 by lukaszcz Loading…
1
@lukaszcz
Isabelle/HOL translation: fix undefined identifiers due to syntax alias backend:isabelle fix:bug
#3050 opened Sep 19, 2024 by lukaszcz Loading…
1
@lukaszcz
Isabelle/HOL translation: fix creation of polymorphic records backend:isabelle fix:bug
#3051 opened Sep 19, 2024 by lukaszcz Loading…
@lukaszcz
Isabelle/HOL translation: support polymorphic type synonyms backend:isabelle enhancement New feature or request
#3040 opened Sep 14, 2024 by lukaszcz
Recursive Isabelle/HOL translation backend:isabelle enhancement New feature or request
#2906 opened Jul 18, 2024 by lukaszcz
1
Isabelle/HOL translation: support side conditions in patterns backend:isabelle enhancement New feature or request pending-review
#2896 opened Jul 15, 2024 by lukaszcz
Isabelle/HOL: translate traits to type classes or locales backend:isabelle enhancement New feature or request pending-review
#2893 opened Jul 15, 2024 by lukaszcz
1
Correctly handle mutual recursion in the translation to Isabelle/HOL backend:isabelle enhancement New feature or request pending-review
#2892 opened Jul 15, 2024 by lukaszcz
It is possible to bypass the termination checker by using instances bug hard-to-implement pending-review traits
#3278 opened Jan 15, 2025 by janmasrovira