Ivan “CLOVIS” Canet

Well, based on this discussion, I'll open a pull request this week with it

I am currently working on it, and I stumbled upon a problem: something changed between Java 7 and Java 8 in the language specifications related to type inference. For example,...

It works, thanks!

Also fails on ArchLinux: ``` $ gradle --version ------------------------------------------------------------ Gradle 6.5.1 ------------------------------------------------------------ Build time: 2020-07-15 13:08:58 UTC Revision: Kotlin: 1.3.72 Groovy: 2.5.11 Ant: Apache Ant(TM) version 1.10.7 compiled on September...

@Tpt That's great! However if I understand correctly you still have to declare the type twice (first as a Rust type, then as a Python type in the documentation), which...

``` $ echo $KOTLIN_HOME $ KOTLIN_RUNNER=1 JAVACMD=echo kotlinc -Xmx256M -Xms32M -Dkotlin.home=/usr/share/kotlin -cp /usr/share/kotlin/lib/kotlin-runner.jar org.jetbrains.kotlin.runner.Main ```

It does not seem to fix the problem. ```shell # .zshrc export KOTLIN_HOME=/usr ``` ```shell $ echo $KOTLIN_HOME /usr $ kscript 'println("Hello world!")' [kscript] [ERROR] Compilation of scriplet failed: [kscript]...

You can see the list of files here: https://archlinux.org/packages/community/any/kotlin/ (in the section ‘package contents’). Basically it is just another system package with binaries in `/usr/bin`, JARS in `/usr/share`, etc.

> Maybe add this commands to `PKGBUILD` on Aur? Is it first-party? Who should be contacted to do it? > Another workaround would be to install Kotlin using sdkman ArchLinux...

Hi, I have changed workplace and do not have time to contribute to this project anymore. If someone wants to continue this PR, please feel free to. My prototype is...