Skip to content

Issues: jinko-core/jinko

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

129 Open 181 Closed
129 Open 181 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Add List.ify as a core function to create lists out of an element priority [low] Low priority issue stdlib Issue regarding the standard library
#675 opened Apr 30, 2024 by CohenArthur
Add typeset flattening priority [high] High priority issue typechecker Issue related to typechecking in jinko
#674 opened Apr 28, 2024 by CohenArthur
Handle type annotations when typechecking bindings enhancement New feature or request typechecker Issue related to typechecking in jinko
#668 opened Mar 23, 2024 by CohenArthur
Replace name_resolver::Scoper visitor by an fir::TreeLike visitor enhancement New feature or request
#667 opened Mar 23, 2024 by CohenArthur
Call the typechecker tyck misc Miscelleanous issue, not related to code or implementation
#666 opened Mar 21, 2024 by CohenArthur
Switch TreeLike to be a walk-visitor
#665 opened Mar 19, 2024 by CohenArthur
Remove recursive_typecheck package good first issue Good for newcomers
#663 opened Mar 19, 2024 by CohenArthur
Typecheck type instantiations properly priority [high] High priority issue typechecker Issue related to typechecking in jinko
#655 opened Feb 7, 2024 by CohenArthur
2 tasks
Remove mutability from the language parser Parser issue typechecker Issue related to typechecking in jinko
#653 opened Feb 7, 2024 by CohenArthur
Handle extra useless semicolons after expression parser Parser issue
#650 opened Feb 6, 2024 by CohenArthur
Define bool as a a union type in the standard library stdlib Issue regarding the standard library typechecker Issue related to typechecking in jinko
#648 opened Feb 6, 2024 by CohenArthur
1
Implement proper parser errors parser Parser issue priority [high] High priority issue
#647 opened Feb 6, 2024 by CohenArthur
Explore copy and update syntax design Issue or concerns regarding jinko's design parser Parser issue
#646 opened Feb 6, 2024 by CohenArthur
1
Allow specifying a multi type's type to help with type widening ambiguities design Issue or concerns regarding jinko's design generics Issue with generic types typechecker Issue related to typechecking in jinko
#643 opened Jan 6, 2024 by CohenArthur
4
Arithmetic operations type errors should hint that the type must be the exact same
#638 opened Dec 5, 2023 by CohenArthur
Design and handle first class types design Issue or concerns regarding jinko's design parser Parser issue typechecker Issue related to typechecking in jinko
#637 opened Oct 30, 2023 by CohenArthur
1 task
2
Design and handle tuple types design Issue or concerns regarding jinko's design parser Parser issue typechecker Issue related to typechecking in jinko
#635 opened Oct 29, 2023 by CohenArthur
Design syntax for function parameters and lambdas design Issue or concerns regarding jinko's design parser Parser issue
#633 opened Oct 26, 2023 by CohenArthur
4
Do not export bindings named _ in modules design Issue or concerns regarding jinko's design priority [high] High priority issue
#629 opened Oct 21, 2023 by CohenArthur
Make outermost block parsing more consistent with block parsing good first issue Good for newcomers parser Parser issue priority [low] Low priority issue
#628 opened Oct 21, 2023 by CohenArthur
Add experimental kind system design Issue or concerns regarding jinko's design typechecker Issue related to typechecking in jinko
#627 opened Oct 20, 2023 by CohenArthur
2 tasks
Figure out runtime first class typing and monomorphization generics Issue with generic types priority [low] Low priority issue typechecker Issue related to typechecking in jinko
#625 opened Oct 18, 2023 by CohenArthur
1
Decide on copy/move/value semantics design Issue or concerns regarding jinko's design priority [high] High priority issue
#623 opened Oct 15, 2023 by CohenArthur
Remove unwraps from Fire coding_style Issue regarding coding style good first issue Good for newcomers priority [high] High priority issue
#622 opened Oct 15, 2023 by CohenArthur
Remove mock functions from the language design Issue or concerns regarding jinko's design enhancement New feature or request
#621 opened Oct 3, 2023 by CohenArthur
ProTip! Updated in the last three days: updated:>2024-05-22.