Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use javacs language server #540

Merged
merged 11 commits into from
Sep 25, 2022
Prev Previous commit
lsp-migrate: last few steps
ice1000 committed Sep 25, 2022

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
commit 76081287da717a5c9f55a18cde95584acaaab826
2 changes: 1 addition & 1 deletion build.gradle.kts
Original file line number Diff line number Diff line change
@@ -82,7 +82,7 @@ subprojects {
doLast {
val tree = fileTree(destinationDirectory)
tree.include("**/*.class")
// tree.exclude("module-info.class")
tree.include("module-info.class")
val root = project.buildDir.toPath().resolve("classes/java/main")
tree.forEach { BuildUtil.stripPreview(root, it.toPath()) }
}
Original file line number Diff line number Diff line change
@@ -50,7 +50,7 @@ static void clearAyaProblems(
var msgBuilder = new StringBuilder();
var severity = DiagnosticSeverity.Hint;
for (var p : problems) {
msgBuilder.append(p.brief(options).debugRender()).append('\n');
msgBuilder.append(p.brief(options).debugRender()).append(System.lineSeparator());
var ps = severityOf(p);
if (ps < severity) severity = ps;
}
1 change: 0 additions & 1 deletion settings.gradle.kts
Original file line number Diff line number Diff line change
@@ -6,7 +6,6 @@ rootProject.name = "aya-prover"
dependencyResolutionManagement {
@Suppress("UnstableApiUsage") repositories {
mavenCentral()
mavenLocal()
}
}