Skip to content

Issues: polarity-lang/polarity

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

20 Open 101 Closed
20 Open 101 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

Ctrl + S does not work in webdemo bug Something isn't working
#414 opened Dec 9, 2024 by BinderDavid
3
Represent toplevel comments in the AST enhancement New feature or request good first issue Good for newcomers
#406 opened Dec 4, 2024 by BinderDavid
Bad error messages for invalid use clauses bug Something isn't working error-message
#405 opened Dec 4, 2024 by BinderDavid
Show ignored testcases in output of testsuite testsuite Concerning tests and the testsuite
#393 opened Nov 28, 2024 by BinderDavid
Tracking Issue: pol doc documentation generator documentation Improvements or additions to documentation enhancement New feature or request
#358 opened Nov 9, 2024 by BinderDavid
@Phil-Ebsworth
2
Add code action to lift local match to toplevel enhancement New feature or request lsp
#357 opened Nov 9, 2024 by BinderDavid
Panic in elaborator bug Something isn't working unification
#348 opened Nov 6, 2024 by timsueberkrueb
2
Never substitute unification variables for variables bug Something isn't working unification
#346 opened Nov 6, 2024 by timsueberkrueb
1
Pretty-printing checked output is not equal to pretty-printing unchecked output bug Something isn't working
#344 opened Nov 6, 2024 by timsueberkrueb
1
Reproduce problematic case of Ulf Norell's PhD bug Something isn't working unification
#341 opened Oct 27, 2024 by BinderDavid
2
Lifting should not duplicate types containing (co)matches bug Something isn't working
#317 opened Oct 3, 2024 by timsueberkrueb
2
Consider internal usage of Resugarable Syntax principles for sugars
#249 opened Jun 24, 2024 by eternaleye
Add tests for LSP Server testsuite Concerning tests and the testsuite
#208 opened May 12, 2024 by BinderDavid
Lexical syntax of names
#201 opened May 8, 2024 by BinderDavid
3
Unify toplevel codefinition and local comatch.
#194 opened May 4, 2024 by BinderDavid
1
Unification should schedule and normalize constraints enhancement New feature or request unification
#172 opened Mar 25, 2024 by BinderDavid
2
Unification should work on normal forms enhancement New feature or request unification
#170 opened Mar 25, 2024 by BinderDavid
Add timeout to normalization enhancement New feature or request
#166 opened Mar 22, 2024 by BinderDavid
Allow to emit more than one error enhancement New feature or request error-message
#65 opened Feb 25, 2023 by BinderDavid
Implement self parameters
#19 opened Jan 30, 2023 by timsueberkrueb
3 of 5 tasks
@timsueberkrueb
3
ProTip! Exclude everything labeled bug with -label:bug.