Channels
#arrow-meta
Title
b
Ben Woodworth
09/30/2020, 7:00 AMHi! I'm trying to install the IDEA plugin (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)
r
Rachel
09/30/2020, 9:20 AMHi @Ben Woodworth, 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
b
Ben Woodworth
09/30/2020, 8:12 PMThank 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)
4 Views