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 https://github.com/kframework/k/issues/2393, or mute the thread https://github.com/notifications/unsubscribe-auth/AE3m12W4BvkJptCfhe7AaLPv8mWvccVLks5tJd3HgaJpZM4Ramco.