A modern programming language that makes developers happier.

kotlinlang

error.txt

Hi! I'm trying to install the IDEA plugin (<https://oss.jfrog.org/artifactory/oss-snapshot-local/io/arrow-kt/idea-plugin/1.4.10-SNAPSHOT/idea-plugin-1.4.10-20200928.154707-13.jar|idea-plugin-1.4.10-20200928.154707-13.jar>), but after installing it from disk and restarting IntelliJ, I'm getting an error. Am I doing something wrong? (I'm using IntelliJ 2020.2.2 with Kotlin 1.4.10)

Hi <@UEJCKPB63>, to install Arrow Meta IDE Plugin is necessary a ZIP file

You can follow the steps here: <https://meta.arrow-kt.io/setup.html#%CE%BBrrow-meta-ide-plugin-installation-from-a-custom-plugin-repository>

Or downloading the ZIP file that appears in <https://meta.arrow-kt.io/idea-plugin/latest-snapshot/updatePlugins.xml>

Or if you are using Arrow Meta Gradle Plugin: <https://meta.arrow-kt.io/setup.html#%CE%BBrrow-meta-ide-plugin-installation-from-a-gradle-task>

Your trace is complaining about a missing Arrow Meta Compiler and the ZIP file contains all the libraries that Arrow Meta IDE Plugin needs to work

Thank you! I didn't know about the setup guide, and was just going by the arrow-meta and arrow-meta-examples GitHub READMEs

Now I'm playing around with coercions, and I'm having trouble getting it working. I'm using the same build.gradle/gradle.properties as arrow-meta-examples, and I based the code off the prelude test cases

Here's the error I'm getting when I build with Gradle:

Figured it out! Had to add a package declaration to the file (and internal to line 6)