Release 0.2.0 - Idris 2 Bootstrap Compiler with JVM Backend

Install

• Extract the attached zip with this release
• Add idris2-boot-jvm/bin from extracted directory to PATH. Try it out by running idris2 on the terminal.

Features

• Add JVM backend
• Eliminate tail recursion using JVM's GOTO
• Trampoline non-self tail calls
• Static and instance Java FFI method calls.
• Support file, directory, array, IORef and buffer primitives.
• Analyse function dependencies to generate bytecode for only used functions from main
• Limited type inference on Idris IR to avoid boxing and typecasting in the generated bytecode
• Debug information (Idris source file and line numbers) in the bytecode