Settuba
Settuba
from our learning this is removing the possibility - to create tags on sub branches other than the "main" branch - removes "patch" since `final` + `auto` is what you...
As part of the Arrow migration to Meta. This issue proposes to have all descriptors in arrow-core-data in the FileScopeResolution, such that arrow-core-data, doesn't need any imports in the Ide...
Preloading Extension has been disabled in #753 for a faster iteration to migrate Arrow with a 2020.2.2. The extension Point has been moved to this Appinitializer `com.intellij.openapi.application.Preloader`
Currently, this diagnostic isn't covered yet `Errors.TYPE_INFERENCE_UPPER_BOUND_VIOLATED` for type-proofs Given this code example: ```kotlin fun List.collapse( initial: A, f: @Given() (A) -> A = given() // here ::id is injected...
Since this [PR](https://github.com/JetBrains/kotlin/commit/ed79ab68abb0969c725e2c0b7d377866f41ac070#diff-5d9c42c2e76ac014d97644460546e5af) descriptors at runtime provide solely an unsubstituted version of their type, receiver, and dispatch information, thus making the current approach [to resolve the value and target Type](https://github.com/arrow-kt/arrow-meta/blob/80df7896f5c16e3bee81788930e87aa08c453160/compiler-plugin/src/main/kotlin/arrow/meta/plugins/proofs/phases/ir/ProofsIrCodegen.kt#L167-L173)...
Currently, the ide plugin is incompatible with Android Studio. This issue shall track the progress of this endeavor.
This issue addresses a subgoal of #499. The graph renders proofs with nomnol or other Jslibs. The goal is to support those for multiple use-cases, LineMarkers, ToolWindow, etc into one...
current registration method needs to be rewritten after #446 The current implementation registers multiple intentions. For the time being, please use the InspectionSyntax.
Currently, there is not a lot of tests in the Ide. The goal is to create tools for a testing environment that can resemble a typical user experience. Feel free...
related to #520 extensions regarding Gradle utilizing these [files](https://github.com/JetBrains/intellij-community/tree/201/plugins/gradle/testSources/org/jetbrains/plugins/gradle/importing)