[BUG] New declaration is not discoverable by IDE

[kptlronyttcna]

Describe the bug
New declarations are not discoverable by IDE.

To Reproduce
Steps to reproduce the behavior:
Change HelloWorldPlugin in examples to declare a new function. For example helloWorld2 instead of helloWorld. Then use helloWorld2 in main. The program compiles successfully and works, but the IDE can't find helloWorld2 and shows it in red.

Expected behavior
I'm not sure if I can expect the IDE to recognize that new function. If this is not a bug, is there a way to make the IDE see the transformed AST?

[rachelcarmena]

Hi @kptlronyttcna , thanks for your feedback! Please, could you confirm us that:

fun helloWorld(): Unit = TODO()

was also updated when doing that change?

Thanks in advance!

[kptlronyttcna]

I don't know how to check that. But I know that helloWorld2 was indeed defined as the program compiled and ran successfully. This is the code I used:

val Meta.helloWorld: Plugin
  get() =
    "Hello World" {
      meta(
        namedFunction({ name == "helloWorld" }) { c ->
          Transform.replace(
            replacing = c,
            newDeclaration =
            """|fun helloWorld2(): Unit =  <-------------------- CHANGED THIS LINE
               |  println("Hello ΛRROW Meta!")
               |""".function.syntheticScope
          )
        }
      )
    }

[rachelcarmena]

Great, thanks @kptlronyttcna ! And did you change hello-world/use-plugin/src/main/kotlin/io/arrowkt/example/HelloWorld.kt?

[kptlronyttcna]

Yes, forgot to mention that.

package io.arrowkt.example

//metadebug

fun helloWorld(): Unit = TODO()

fun main() {
  helloWorld2() <---- Changed this line. It compiles and works but Intellij shows it in red and does not autocomplete
}

[rachelcarmena]

Thanks @kptlronyttcna ! Please, try to update the helloWorld function as well and reopen in case it doesn't work. Thanks!!

[kptlronyttcna]

So at the end, are you saying that I cannot expect the IDE to recognize new declarations defined with arrow meta? Imagine instead of using Transform.replace, I use some other transform to add helloWorld2 while leaving helloWorld untouched. Can the IDE know about helloWorld2 even though it's not anywhere in the code but will be declared by arrow meta during compilation? This is possible with annotation based code-gen tools (google/dagger for example), I was wondering if it would be possible with arrow meta as well.

[MikeDepies]

You have to create a counterpart IDE plugin for your compiler plugin. Meta facilitates this as well. So its possible, but this example does not showcase it.

[kptlronyttcna]

A sample showcasing that feature would be awesome.