A modern programming language that makes developers happier.

kotlinlang

What is the replacement of `IrPluginContext.createDiagnosticReporter` in K2? Is there some info somewhere about how a compiler plugin is supposed to report warnings/messages? Thanks.

maybe all diagnostics must be done with FIR APIs and not in backend anymore?

If so, we were doing this: <https://github.com/arrow-kt/arrow-proofs/tree/main/arrow-inject-compiler-plugin/src/main/kotlin/arrow/inject/compiler/plugin/fir/errors|https://github.com/arrow-kt/arrow-proofs/tree/main/arrow-inject-compiler-plugin/src/main/kotlin/arrow/inject/compiler/plugin/fir/errors>

<https://github.com/arrow-kt/arrow-proofs/blob/main/arrow-inject-compiler-plugin/src/main/kotlin/arrow/inject/compiler/plugin/fir/resolution/checkers/call/AmbiguousProofsChecker.kt|https://github.com/arrow-kt/arrow-proofs/blob/main/arrow-inject-compiler-plugin/src/main/kotlin/arrow/inject/compiler/plugin/fir/resolution/checkers/call/AmbiguousProofsChecker.kt>

That's make sense. But still, somehow I should be able to communicate from the backend.

No idea about the backend diagnostics from my side, sorry :disappointed:  

Truth to be told, I really would like to avoid going into FIR right now. I will, eventually, but not right now.
Thx for the replay anyway. :)

Maybe you can check arrow analysis, I haven’t checked the details but it is not using FIR and it is reporting