👍🏻 For sure. I still have to learn how to put this into analysis phase. A walkthrough would be great and/or quick example of adding to that phase. I can do some more experimenting with it over the weekend.

This example will take you past analysis which means it typechecks and fails to codegen https://kotlinlang.slack.com/archives/C013CRWEG74/p1589218417037700?thread_ts=1589211289.015600&cid=C013CRWEG74

Yes! I remember this now. Thanks for the reminder. I had forgotten about this example but now I remember. 🙂 I'll take a look at adding that in. I tried to compile the latest idea-plugin and install it in IntelliJ but found this happens on restart:

java.lang.ExceptionInInitializerError
	at arrow.meta.ide.internal.IdeRegistrar.componentsInitialized(IdeRegistrar.kt:19)
	at com.intellij.idea.ApplicationLoader$callAppInitialized$2$1.run(ApplicationLoader.kt:477)
	at java.base/java.util.concurrent.CompletableFuture$AsyncRun.run(CompletableFuture.java:1736)
	at com.intellij.util.concurrency.BoundedTaskExecutor.doRun(BoundedTaskExecutor.java:222)
	at com.intellij.util.concurrency.BoundedTaskExecutor.access$200(BoundedTaskExecutor.java:29)
	at com.intellij.util.concurrency.BoundedTaskExecutor$1.execute(BoundedTaskExecutor.java:201)
	at com.intellij.util.concurrency.BoundedTaskExecutor$1.run(BoundedTaskExecutor.java:193)
	at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
	at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
	at java.base/java.lang.Thread.run(Thread.java:834)
Caused by: com.intellij.diagnostic.PluginException: While loading class arrow.meta.ide.internal.registry.IdeInternalRegistry: arrow/meta/internal/registry/InternalRegistry [Plugin: io.arrow-kt.arrow]
	at com.intellij.ide.plugins.cl.PluginClassLoader.loadClassInsideSelf(PluginClassLoader.java:262)
	at com.intellij.ide.plugins.cl.PluginClassLoader.tryLoadingClass(PluginClassLoader.java:205)
	at com.intellij.ide.plugins.cl.PluginClassLoader.loadClass(PluginClassLoader.java:113)
	at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:521)
	at java.base/java.lang.ClassLoader.defineClass1(Native Method)
	at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:1016)
	at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:877)
	at com.intellij.util.lang.UrlClassLoader._defineClass(UrlClassLoader.java:380)
	at com.intellij.util.lang.UrlClassLoader.defineClass(UrlClassLoader.java:376)
	at com.intellij.util.lang.UrlClassLoader._findClass(UrlClassLoader.java:340)
	at com.intellij.ide.plugins.cl.PluginClassLoader.loadClassInsideSelf(PluginClassLoader.java:259)
	at com.intellij.ide.plugins.cl.PluginClassLoader.tryLoadingClass(PluginClassLoader.java:205)
	at com.intellij.ide.plugins.cl.PluginClassLoader.loadClass(PluginClassLoader.java:113)
	at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:521)
	at arrow.meta.ide.internal.IdeRegistrarKt.<clinit>(IdeRegistrar.kt:24)
	... 10 more
Caused by: java.lang.NoClassDefFoundError: arrow/meta/internal/registry/InternalRegistry
	at java.base/java.lang.ClassLoader.defineClass1(Native Method)
	at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:1016)
	at java.base/java.lang.ClassLoader.defineClass(ClassLoader.java:877)
	at com.intellij.util.lang.UrlClassLoader._defineClass(UrlClassLoader.java:380)
	at com.intellij.util.lang.UrlClassLoader.defineClass(UrlClassLoader.java:376)
	at com.intellij.util.lang.UrlClassLoader._findClass(UrlClassLoader.java:340)
	at com.intellij.ide.plugins.cl.PluginClassLoader.loadClassInsideSelf(PluginClassLoader.java:259)
	... 24 more
Caused by: java.lang.ClassNotFoundException: arrow.meta.internal.registry.InternalRegistry PluginClassLoader[io.arrow-kt.arrow, 1.3.61-SNAPSHOT] com.intellij.ide.plugins.cl.PluginClassLoader@bc19c6e
	at com.intellij.ide.plugins.cl.PluginClassLoader.loadClass(PluginClassLoader.java:115)
	at java.base/java.lang.ClassLoader.loadClass(ClassLoader.java:521)
	... 31 more