mmhelloworld/idris-jvm

Cannot run compiled program

Closed this issue · 4 comments

Invisible-Rabbit-Hunter commented

I have tried to compile an idris program, even the pythag example in the README, but i get an error. I tried to build it myself, but the tests fail with the same error.
The error is:

Exception in thread "main" java.lang.NoSuchMethodError: main.Main._lbrace_runMain0_rbrace_()Ljava/lang/Object;
	at main.Main.main(Unknown Source)
mmhelloworld commented

Hi,

It looks like you are using the latest Idris. In the latest version {runMain0} is {runMain_0} hence it is failing with that error. Could you use Idris 0.99.1?
I am working on supporting the latest version. I have one test failing which hopefully I will get it fixed and upload the new backend jar in few hours.

Thanks for trying out Idris JVM backend!

Invisible-Rabbit-Hunter commented

I'll try Idris 0.99.1 when I get home. Thanks for the quick response.

Invisible-Rabbit-Hunter commented

I got it working with idris 0.99.1.

mmhelloworld commented

Great! I also got the latest Idris version working. I will upload the new backend shortly.