JetBrains/intellij-arend issues and pull requests

#57 - instance parameters are not resolved in the editor

Issue - State: closed - Opened by Odomontois over 5 years ago - 1 comment

#56 - Scopes behave differently for ArendFile and inside ArendWhere.

Issue - State: closed - Opened by sxhya almost 6 years ago
Labels: bug

#56 - Scopes behave differently for ArendFile and inside ArendWhere.

Issue - State: closed - Opened by sxhya almost 6 years ago
Labels: bug

#55 - Exception in ArendStructureViewModel

Issue - State: closed - Opened by sxhya almost 6 years ago

#55 - Exception in ArendStructureViewModel

Issue - State: closed - Opened by sxhya almost 6 years ago

#54 - Fix menu elements for modules in usages view

Issue - State: closed - Opened by sxhya almost 6 years ago - 1 comment

#54 - Fix menu elements for modules in usages view

Issue - State: closed - Opened by sxhya almost 6 years ago - 1 comment

#53 - Wrong formatting of comments

Issue - State: closed - Opened by xamgore almost 6 years ago

#53 - Wrong formatting of comments

Issue - State: closed - Opened by xamgore almost 6 years ago

#51 - Add "Remove already implemented field" intention

Issue - State: closed - Opened by valis about 6 years ago

#51 - Add "Remove already implemented field" intention

Issue - State: closed - Opened by valis about 6 years ago

#50 - Change signature refactoring

Issue - State: closed - Opened by valis about 6 years ago
Labels: refactoring, D-medium

#50 - Change signature refactoring

Issue - State: closed - Opened by valis about 6 years ago
Labels: refactoring, D-medium

#49 - Import error

Issue - State: closed - Opened by demiurg906 about 6 years ago - 1 comment

#49 - Import error

Issue - State: closed - Opened by demiurg906 about 6 years ago - 1 comment

#48 - Unable to run `./gradlew runIde`

Issue - State: closed - Opened by breandan about 6 years ago - 1 comment

#48 - Unable to run `./gradlew runIde`

Issue - State: closed - Opened by breandan about 6 years ago - 1 comment

#47 - Bug in idea-parser

Issue - State: closed - Opened by demiurg906 about 6 years ago

#47 - Bug in idea-parser

Issue - State: closed - Opened by demiurg906 about 6 years ago

#46 - Publish plugin on git push

Pull Request - State: closed - Opened by xamgore about 6 years ago

#46 - Publish plugin on git push

Pull Request - State: closed - Opened by xamgore about 6 years ago

#45 - Move refactoring

Issue - State: closed - Opened by valis about 6 years ago - 1 comment

#45 - Move refactoring

Issue - State: closed - Opened by valis about 6 years ago - 1 comment

#44 - Feature: swap parameters

Issue - State: closed - Opened by xamgore about 6 years ago - 3 comments
Labels: refactoring, feature

#44 - Feature: swap parameters

Issue - State: closed - Opened by xamgore about 6 years ago - 3 comments
Labels: refactoring, feature

#43 - ...

Issue - State: closed - Opened by xamgore about 6 years ago

#43 - ...

Issue - State: closed - Opened by xamgore about 6 years ago

#42 - NPE and checker crash

Issue - State: closed - Opened by demiurg906 about 6 years ago - 5 comments

#42 - NPE and checker crash

Issue - State: closed - Opened by demiurg906 about 6 years ago - 5 comments

#41 - Can not resolve fields of record constructed in \let statement

Issue - State: closed - Opened by Odomontois about 6 years ago

#41 - Can not resolve fields of record constructed in \let statement

Issue - State: closed - Opened by Odomontois about 6 years ago

#40 - Expand the comment on [Enter]

Issue - State: closed - Opened by xamgore about 6 years ago - 1 comment

#40 - Expand the comment on [Enter]

Issue - State: closed - Opened by xamgore about 6 years ago - 1 comment

#39 - Compability with IDEA 2018.3 EAP

Issue - State: closed - Opened by demiurg906 about 6 years ago

#39 - Compability with IDEA 2018.3 EAP

Issue - State: closed - Opened by demiurg906 about 6 years ago

#38 - NullPointerException on type check

Issue - State: closed - Opened by xamgore about 6 years ago - 1 comment

#38 - NullPointerException on type check

Issue - State: closed - Opened by xamgore about 6 years ago - 1 comment

#37 - Cleanup

Pull Request - State: closed - Opened by mchernyavsky about 6 years ago - 4 comments

#37 - Cleanup

Pull Request - State: closed - Opened by mchernyavsky about 6 years ago - 4 comments

#36 - Wrong syntax but successful typechecks

Issue - State: closed - Opened by xamgore about 6 years ago - 2 comments

#36 - Wrong syntax but successful typechecks

Issue - State: closed - Opened by xamgore about 6 years ago - 2 comments

#35 - Improve documentation markup

Pull Request - State: closed - Opened by xamgore about 6 years ago

#35 - Improve documentation markup

Pull Request - State: closed - Opened by xamgore about 6 years ago

#34 - Upload releases to plugins repository

Issue - State: closed - Opened by xamgore about 6 years ago - 2 comments

#33 - Expand "cons" abbreviation in inline documentation

Pull Request - State: closed - Opened by xamgore about 6 years ago - 3 comments

#32 - Rename Vclang to Arend

Pull Request - State: closed - Opened by mchernyavsky about 6 years ago

#31 - Convert build.gradle to Kotlin

Pull Request - State: closed - Opened by mchernyavsky about 6 years ago

#30 - Implement formatting model builder

Issue - State: closed - Opened by sxhya over 6 years ago
Labels: enhancement, formatter, editor, feature, D-unknown

#29 - Keyword completion in name telescopes does not work

Issue - State: closed - Opened by valis over 6 years ago

#28 - 3 Problems with typing curly brackets

Issue - State: closed - Opened by sxhya over 6 years ago
Labels: bug, editor, D-hard

#27 - Allow instances of partially implemented classes or forbid them completely

Issue - State: closed - Opened by sxhya over 6 years ago
Labels: bug, highlighting, type checking, D-unknown

#26 - Smarter highlighting and quickfixing of nameresolver errors

Issue - State: closed - Opened by sxhya over 6 years ago - 3 comments
Labels: enhancement, refactoring, feature, D-medium, quickfix

#25 - NPE in serialization after definition is typechecked

Issue - State: closed - Opened by sxhya over 6 years ago
Labels: bug

#24 - Exception on using Ctrl+P on arguments of equality operator

Issue - State: closed - Opened by sxhya over 6 years ago
Labels: bug

#23 - Exception on startup

Issue - State: closed - Opened by part-xx over 6 years ago - 1 comment
Labels: bug, D-unknown

#22 - Invalid identifiers in using lists obstruct valid identifiers in namespaces

Issue - State: closed - Opened by sxhya over 6 years ago
Labels: bug, D-unknown

#21 - Stub elements are created after index initialization is complete

Issue - State: closed - Opened by sxhya over 6 years ago
Labels: bug, D-unknown

#20 - Invalid Psi Elements in Definition Proxies

Issue - State: closed - Opened by sxhya over 6 years ago

#19 - Can't access class field synonyms.

Issue - State: closed - Opened by sxhya over 6 years ago
Labels: bug, D-unknown

#18 - Fix Travis build

Pull Request - State: closed - Opened by mchernyavsky over 6 years ago

#17 - Exception when trying to add vclang sources as a separate module to a vclang-lib project

Issue - State: closed - Opened by sxhya over 6 years ago
Labels: bug, D-unknown

#16 - 2 bugs in scopes

Issue - State: closed - Opened by sxhya over 6 years ago
Labels: bug, completion, D-unknown

#15 - Refactorings and Typecheckerstate behave incoherently which may lead to an NPE

Issue - State: closed - Opened by sxhya almost 7 years ago
Labels: bug, refactoring, type checking, D-unknown

#14 - Exception when marking an unmarked directory as a source root

Issue - State: closed - Opened by sxhya almost 7 years ago
Labels: bug, D-unknown

#13 - Resolving symbols in Prelude

Issue - State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, name resolution, D-unknown

#12 - Update demo text in VcColorSettingsPage

Issue - State: closed - Opened by mchernyavsky about 7 years ago
Labels: editor, D-easy

#11 - Implement Optimizing Imports

Issue - State: closed - Opened by mchernyavsky about 7 years ago - 2 comments
Labels: enhancement, editor, feature

#10 - Implement Auto Import

Issue - State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, editor, feature, D-hard

#9 - Implement Move refactorings

Issue - State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, refactoring, feature, D-unknown

#8 - Improve TypeCheckRunConfigurationEditor

Issue - State: closed - Opened by mchernyavsky about 7 years ago - 2 comments
Labels: enhancement, configuration, gui, D-medium

#7 - Add annotator for unresolved symbols

Issue - State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, highlighting, name resolution, D-easy

#6 - Add annotator for type checking errors

Issue - State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, highlighting, type checking, D-easy

#5 - Infinite recursion when using an identifier in nsCmdRoot

Issue - State: closed - Opened by mchernyavsky about 7 years ago
Labels: bug, name resolution, D-unknown

#4 - Implement Parameter Info

Issue - State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, editor, feature, D-medium

#3 - Decide whether we want to have implementation of Reformat Code using PrettyPrinter

Issue - State: closed - Opened by mchernyavsky about 7 years ago
Labels: bug, formatter, D-unknown

#2 - Improve parser recovery

Issue - State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, parser, D-hard

#1 - Keyword completion

Issue - State: closed - Opened by mchernyavsky about 7 years ago
Labels: enhancement, completion, D-hard

GitHub / JetBrains/intellij-arend issues and pull requests