Building with Java 9

[AljoschaMeyer]

Running mvn package fails when using Java version 9, due to ambiguos type references. Java 9 adds java.lang.Module, which conflicts with the unqualified imports of org.kframework.kil.Moule, e.g. here.

Sorry for not providing java -v output and the error message, but this error did not happen on my computer. Should be fairly easy to reproduce though, just get mvn package to use Java 9.

[dlucanu]

Aricolul lui Andrei si Vlad: http://www.sciencedirect.com/science/article/pii/S2352220816301390?via%3Dihub#br0370 Dorel

…

On 11/01/2018 12:09, Aljoscha Meyer wrote: Running |mvn package| fails when using Java version 9, due to ambiguos type references. Java 9 adds java.lang.Module <https://docs.oracle.com/javase/9/docs/api/java/lang/class-use/Module.html>, which conflicts with the unqualified imports of |org.kframework.kil.Moule|, e.g. here <https://github.com/kframework/k/blob/master/kernel/src/main/java/org/kframework/kil/visitors/Visitor.java#L13>. Sorry for not providing |java -v| output and the error message, but this error did not happen on my computer. Should be fairly easy to reproduce though, just get |mvn package| to use Java 9. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <runtimeverification/k#2393>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AE3m12W4BvkJptCfhe7AaLPv8mWvccVLks5tJd3HgaJpZM4Ramco>.