A modern programming language that makes developers happier.

kotlinlang

Hey!

Is there a MetaExtension that would allow me to apply transformations to compiler generated methods?

If I’m not mistaken those methods would be already present in the IR backend phase where you can transform any part of the program including methods <https://meta.arrow-kt.io/docs/apidocs/compiler-plugin/arrow.meta.dsl.codegen.ir/-ir-syntax/>

<https://github.com/arrow-kt/arrow-meta/blob/sv-test-proofs/compiler-plugin/src/main/kotlin/arrow/meta/plugins/proofs/ProofsPlugin.kt#L34-L39>

Example of call site and here are some of the impl it calls:

<https://github.com/arrow-kt/arrow-meta/blob/sv-test-proofs/compiler-plugin/src/main/kotlin/arrow/meta/plugins/proofs/phases/ir/ProofsIrCodegen.kt>

But this's does not work for the JVM yet, does it?

it’s not 100 bug free but it works if you enable IR

Interesting, but would that require me to ask the users to enable IR as well?