Skip to content

Issues: ch-systems/petr

Beta
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

78 Open 31 Closed
78 Open 31 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

\vdash should be used for typeclasses, as a satisfies Show
#158 opened Dec 21, 2024 by sezna
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
support partial application todo 🗒️
#129 opened Jul 25, 2024 by sezna
other expr kinds like bindings todo 🗒️
#128 opened Jul 25, 2024 by sezna
: todo 🗒️
#115 opened Jul 20, 2024 by sezna
@sezna
2
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.