Skip to content

Issues: ch-systems/petr

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

79 Open 28 Closed
79 Open 28 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

AST should be closer to the syntax of the language, and comments could be stored in a mapping from nodeid -> comment list, where each individual AST item can have a node ID.
#157 opened Nov 11, 2024 by sezna
Rewrite type checking to follow constraint narrowing pattern
#156 opened Nov 11, 2024 by sezna
Anonymous structs/structural typing
#154 opened Oct 10, 2024 by sezna
Pattern matching function overloading
#153 opened Oct 9, 2024 by sezna
Partially applied functions via holes
#152 opened Oct 9, 2024 by sezna
rewrite below rules todo 🗒️
#151 opened Aug 3, 2024 by sezna
@sezna
remove clone todo 🗒️
#150 opened Aug 3, 2024 by sezna
@sezna
this rule feels incorrect. A literal being unified to the parent type todo 🗒️
#149 opened Aug 3, 2024 by sezna
@sezna
decide if user-defined types should be able to safely upcast, or if only todo 🗒️
#148 opened Aug 3, 2024 by sezna
@sezna
get span for type annotation instead of just the name of the parameter todo 🗒️
#147 opened Aug 3, 2024 by sezna
@sezna
better errors here todo 🗒️
#146 opened Aug 3, 2024 by sezna
@sezna
Type System Tracking Issue
#145 opened Aug 3, 2024 by sezna
6 tasks
make this petr type instead of typevariable todo 🗒️
#142 opened Jul 30, 2024 by sezna
@sezna
these should be boxed slices, as their size is not changed todo 🗒️
#141 opened Jul 30, 2024 by sezna
@sezna
1
deduplicate module export logic with above func todo 🗒️
#140 opened Jul 30, 2024 by sezna
@sezna
don't create an ID and then reference it -- this is messy todo 🗒️
#139 opened Jul 30, 2024 by sezna
@sezna
for all insert_ functions, return an error on overriding of names instead of todo 🗒️
#137 opened Jul 30, 2024 by sezna
@sezna
intern these strings and use an ID todo 🗒️
#136 opened Jul 30, 2024 by sezna
@sezna
Better error message on failed type parse todo 🗒️
#135 opened Jul 30, 2024 by sezna
@sezna
Constant Value Types
#133 opened Jul 27, 2024 by sezna
document [ExprId] system todo 🗒️
#132 opened Jul 26, 2024 by sezna
@sezna
Format unit (()) into ε (epsilon) similar to returns becoming right arrow and in becoming set-inclusion good first issue Good for newcomers
#130 opened Jul 26, 2024 by sezna
support partial application todo 🗒️
#129 opened Jul 25, 2024 by sezna
other expr kinds like bindings todo 🗒️
#128 opened Jul 25, 2024 by sezna
Format returns into → good first issue Good for newcomers
#117 opened Jul 21, 2024 by sezna
ProTip! Mix and match filters to narrow down what you’re looking for.