search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

Building with Java 9 #2393

Open AljoschaMeyer opened 6 years ago

AljoschaMeyer commented 6 years ago

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 commented 6 years ago

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.