Skip to content

Issues: IntelliJ-Frege/intellij-frege

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

24 Open 21 Closed
24 Open 21 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 tests for completion
#119 opened Feb 20, 2022 by kkarnauk
@psurkov @kkarnauk
possible memory leak?
#117 opened Nov 10, 2021 by Dierk
References in List comprehensions need to be recognized
#116 opened Oct 28, 2021 by Dierk
Names sometimes are not shown in go to instances annotation
#112 opened Aug 24, 2021 by kkarnauk
Navigation to the type parameter in the instance block doesn't work bug Something isn't working
#110 opened Aug 22, 2021 by kkarnauk
@kkarnauk
Line marker "binding to declaration in class" doesn't works correctly for operator usage bug Something isn't working
#108 opened Aug 17, 2021 by kkarnauk
@kkarnauk
Line marker "go to instanced method" and reversed one don't work with word operators bug Something isn't working
#107 opened Aug 17, 2021 by kkarnauk
@kkarnauk
Fix qualifiers of operators should be fixed
#105 opened Aug 17, 2021 by kkarnauk
@psurkov @kkarnauk
Add checks that word operator with capital letter is constructor bug Something isn't working
#104 opened Aug 17, 2021 by kkarnauk
@kkarnauk
Quotes in the middle of names must be allowed bug Something isn't working
#103 opened Aug 17, 2021 by kkarnauk
@psurkov
Make highlighting and navigation work for the whole REPL
#100 opened Aug 10, 2021 by 23jura23
Add 'safe delete' refactoring
#99 opened Aug 10, 2021 by kkarnauk
@kkarnauk
Support partial importing members of classes should be fixed
#97 opened Aug 9, 2021 by kkarnauk
@kkarnauk
Binding false = 1 is parsed as correct declaration but shouldn't bug Something isn't working
#94 opened Aug 1, 2021 by kkarnauk
@psurkov
Highlighting of bindings names with variable parameters bug Something isn't working
#92 opened Jul 28, 2021 by kkarnauk
@kkarnauk
1
Incorrect display of Frege icon in 2020.2: it's a dot instead of the icon should be fixed
#87 opened Jul 25, 2021 by kkarnauk
@psurkov
1
Remove a suggestion to import module for unresolved reference in import list bug Something isn't working
#84 opened Jul 24, 2021 by kkarnauk
@kkarnauk
No completion for operators should be fixed
#82 opened Jul 18, 2021 by kkarnauk
@kkarnauk
Ordering cannot be resolved bug Something isn't working
#77 opened Jul 17, 2021 by kkarnauk
@kkarnauk
1
Navigation to classes/datas if it's a module and data at the same time bug Something isn't working
#76 opened Jul 17, 2021 by kkarnauk
@kkarnauk
Renaming of methods from Class/Instance bug Something isn't working
#75 opened Jul 17, 2021 by kkarnauk
@kkarnauk
(+1) is parsed as a number, not a function bug Something isn't working
#73 opened Jul 17, 2021 by kkarnauk
@psurkov
Minor: "move member" and "move class" silently fails
#71 opened Jul 7, 2021 by Dierk
Unresolved reference ':'
#67 opened Jul 7, 2021 by Dierk
6
ProTip! Type g i on any issue or pull request to go back to the issue listing page.