build: upgrade to latest gk parser util

aya-prover · Jan 17, 2025 · ef9a248 · ef9a248
1 parent b44af0e
commit ef9a248
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -116,8 +116,8 @@ tasks {
       val fileName = ayaPsiParserFile.name
       val url = URI("https://raw.githubusercontent.com/aya-prover/aya-dev/refs/heads/main/parser/src/main/grammar/$fileName").toURL()
       val text = url.openStream().use { it.reader().readText() }
-      val syntaxNode = object : GkParser() {}.parse(text)
-      val patchedBNF = GkPatcher.forPlugin(MarkerNodeWrapper(text, syntaxNode))
+      val syntaxNode = GkParser().parse(text)
+      val patchedBNF = GkPatcher.forPlugin(MarkerNodeWrapper(syntaxNode, text))
       ayaPsiParserFile.writeText(patchedBNF.toString())
     }
   }

diff --git a/gradle/deps.properties b/gradle/deps.properties
@@ -1,3 +1,3 @@
 version.project=0.0.1-SNAPSHOT
-version.aya=0.37.0-SNAPSHOT
-version.aya-upstream=0.0.32
+version.aya=0.38.0-SNAPSHOT
+version.aya-upstream=0.0.33