deps: upgrade upstream, rename

aya-prover · Aug 13, 2023 · ecb09b2 · ecb09b2
1 parent 5496f61
commit ecb09b2
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/cli-impl/src/main/java/org/aya/cli/parse/AyaParserImpl.java b/cli-impl/src/main/java/org/aya/cli/parse/AyaParserImpl.java
@@ -14,7 +14,7 @@
 import org.aya.concrete.error.ParseError;
 import org.aya.concrete.stmt.Stmt;
 import org.aya.intellij.GenericNode;
-import org.aya.intellij.MarkerGenericNode;
+import org.aya.intellij.MarkerNodeWrapper;
 import org.aya.parser.AyaLanguage;
 import org.aya.parser.AyaParserDefinitionBase;
 import org.aya.parser.AyaPsiElementTypes;
@@ -31,7 +31,7 @@ public record AyaParserImpl(@NotNull Reporter reporter) implements GenericAyaPar
 
   public @NotNull GenericNode<?> parseNode(@NotNull String code) {
     var parser = new AyaFleetParser();
-    return new MarkerGenericNode(code, parser.parse(code));
+    return new MarkerNodeWrapper(code, parser.parse(code));
   }
 
   @Override public @NotNull Expr expr(@NotNull String code, @NotNull SourcePos sourcePos) {

diff --git a/gradle/deps.properties b/gradle/deps.properties
@@ -9,7 +9,7 @@ version.project=0.30-SNAPSHOT
 version.annotations=24.0.1
 version.kala=0.67.0
 version.guest0x0=0.18.0
-version.aya-upstream=0.0.17
+version.aya-upstream=0.0.18
 version.hamcrest=2.2
 # https://junit.org/junit5/
 version.junit=5.10.0

diff --git a/note/early-changelog.md b/note/early-changelog.md
@@ -2,6 +2,10 @@
 
 This file contains the changelog of the Aya language 0.x.
 
+Upgraded from Java 19 to Java 20.
+
+Welcome [AliasQli](https://github.com/AliasQli)!
+
 ## 0.29.1
 
 Released for the Anqur project.