Skip to content

Migrate to Scala 2.12#527

Closed
ebourg wants to merge 1 commit into
BuggleInc:javaUIfrom
ebourg:javaUI
Closed

Migrate to Scala 2.12#527
ebourg wants to merge 1 commit into
BuggleInc:javaUIfrom
ebourg:javaUI

Conversation

@ebourg

@ebourg ebourg commented Jun 12, 2026

Copy link
Copy Markdown

Hi,

This is an attempt to migrate the project to a more recent version of Scala. I'm not familiar with the project so this must be double checked, especially the changes to the LangScala class.

vejeta added a commit to vejeta/PLM that referenced this pull request Jun 15, 2026
The compiler-API port already targets 2.12, but Game.checkScala() still rejected
2.12.20 as 'too ancient' and told the user to install 2.11. Accept 2.12 (and,
forward-tolerantly, 2.13). Matches the Game.java part of BuggleInc#527.
@mquinson

Copy link
Copy Markdown
Member

Hello @ebourg, I'm sorry but I think your PR was superseeded by the great work of @vejeta in #529.

@mquinson mquinson closed this Jun 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants