Settuba
Settuba
#556 misses the option to open it in a proper manner. Executing the following snippet fails with an Access Error. ``` runWriteAction { openGradleProject(file, null, true) } ``` The slack...
Which Plugin API if I may ask? :)
A very rough draft how to solve it by suppressing Diagnostics, if the explanation above doesn't make sense: ```kotlin fun CompilerContext.suppressTypeInferenceUpperBoundViolated(diagnostic: Diagnostic):Boolean= diagnostic.factory == Errors.TYPE_INFERENCE_UPPER_BOUND_VIOLATED && diagnostic.safeAs()?.let {error -> val...
This is implicitly done through registering an [ApplicationInitializedListener](https://github.com/arrow-kt/arrow-meta/blob/355e487c204f0adbb49ca75379da68248c478593/idea-plugin/src/main/kotlin/arrow/meta/ide/MetaRegistrar.kt#L19). Which is invoked, once all depended Plugins are loaded from Meta. I'll keep this Issue open, once Docs are added, which extensions...
Thanks @BenWoodworth ! I was able to reproduce it with the Quotes Ide Plugin.
@rachelcarmena this does depend on #14 or am I wrong :)
I didn't say that it's related to the ide. #14 addresses the gradle-plugin.
The following is a list of unexposed Interfaces, which I reckon to utilize to the user's advantage: All of them reside in `arrow.meta.unexposed` Arrow Meta Interface | Kotlin version ---...
This task is done for the Analysis Extension
@raulraja is this task done and can we close it?