Skip to content

Issues: anoma/juvix

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

144 Open 667 Closed
144 Open 667 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

Lift complex expression that don't use the lambda-bound variables out of the lambdas core Related to JuvixCore enhancement New feature or request optimization pending-review
#3028 opened Sep 13, 2024 by lukaszcz 0.6.8
@lukaszcz
Parametrize Anoma/Hoon stdlib locations by the number of layers in Anoma/Hoon stdlib anoma backend:nockma enhancement New feature or request pending-review
#3023 opened Sep 11, 2024 by paulcadman 0.6.7
Use Anoma nock interpreter %puts hint feature in Nock backend debug mode anoma backend:nockma enhancement New feature or request october-testnet Issues required to support the Anoma October 2024 testnet pending-review
#3022 opened Sep 11, 2024 by paulcadman 0.6.7
1
@lukaszcz @paulcadman
1
Jam (Nock serialize) the anoma backend output anoma backend:nockma enhancement New feature or request october-testnet Issues required to support the Anoma October 2024 testnet pending-review
#3017 opened Sep 10, 2024 by paulcadman 0.6.7
1
@paulcadman
Crash in JuvixTree: not unifiable: (*, *) → bool, * → bool bug juvix-tree pending-review
#3016 opened Sep 10, 2024 by paulcadman 0.6.7
@lukaszcz
Nockma compilation: arguments to some operations still get duplicated anoma backend:nockma bug priority:high
#3013 opened Sep 9, 2024 by lukaszcz 0.6.7
1
@lukaszcz
1
juvix.yaml not found bug pending-review
#3009 opened Sep 9, 2024 by lukaszcz 0.6.7
1
Detect redundant patterns enhancement New feature or request pattern-matching pending-review
#3008 opened Sep 9, 2024 by lukaszcz 0.6.7
@lukaszcz
Detect if a side condition in a case is true or false core Related to JuvixCore enhancement New feature or request pattern-matching pending-review
#3007 opened Sep 9, 2024 by lukaszcz 0.6.7
@lukaszcz
Juvix format does not work as expected CLI pending-review
#3000 opened Sep 6, 2024 by heueristik
@janmasrovira
1
Trait implementation works/hangs depending on the input argument bug pending-review
#2997 opened Sep 5, 2024 by heueristik
Preserve locations in type checking bug error-messaging pending-review typechecking
#2996 opened Sep 5, 2024 by lukaszcz 0.6.7
Confusing behavior of juvix clean --global enhancement New feature or request pending-review
#2992 opened Sep 3, 2024 by heueristik
Unify syntax for named arguments in traits, instances, and functions enhancement New feature or request pending-review syntax
#2990 opened Sep 3, 2024 by heueristik
3
Normalization of case expressions matching on types not implemented bug pending-review typechecking
#2987 opened Sep 2, 2024 by lukaszcz 0.6.8
Allow multiple patterns in a single branch enhancement New feature or request pattern-matching pending-review syntax
#2986 opened Sep 2, 2024 by lukaszcz
Package name & version are not set properly in moduleIds bug modules pending-review
#2985 opened Sep 2, 2024 by lukaszcz 0.6.8
Allow side conditions in function clauses and lambda clauses enhancement New feature or request pattern-matching pending-review syntax
#2983 opened Aug 30, 2024 by lukaszcz 0.6.8
@janmasrovira
1
Improve coercion matching enhancement New feature or request pending-review
#2982 opened Aug 30, 2024 by janmasrovira
Add test field to Package in Package.juvix for running tests with juvix test CLI enhancement New feature or request package-manager pending-review
#2980 opened Aug 30, 2024 by paulcadman
Improve array formatting and add line continuation character enhancement New feature or request juvix-formatter pending-review
#2971 opened Aug 23, 2024 by heueristik
Unexpected formatting of record updates bug juvix-formatter pending-review
#2970 opened Aug 23, 2024 by heueristik
1
Handling of record field names is inconsistent: different for record creation and record update discussion syntax
#2968 opened Aug 22, 2024 by lukaszcz 0.6.7
@janmasrovira
4
Allow punning in record updates enhancement New feature or request pending-review syntax
#2967 opened Aug 22, 2024 by heueristik
Add applicative do notation enhancement New feature or request pending-review syntax
#2966 opened Aug 21, 2024 by janmasrovira
ProTip! Type g i on any issue or pull request to go back to the issue listing page.