Upgrade JLine to 3.15.0

smarter · smarter · commit ff7673c1aed8 · 2020-06-01T22:10:16.000+02:00
Align ourselves with scalac: scala/scala#9024
diff --git a/compiler/src/dotty/tools/repl/JLineTerminal.scala b/compiler/src/dotty/tools/repl/JLineTerminal.scala
@@ -76,6 +76,8 @@ final class JLineTerminal extends java.io.Closeable {
       val highlighted = SyntaxHighlighting.highlight(buffer)
       AttributedString.fromAnsi(highlighted)
     }
+    def setErrorPattern(errorPattern: java.util.regex.Pattern): Unit = {}
+    def setErrorIndex(errorIndex: Int): Unit = {}
   }
 
   /** Provide multi-line editing support */
diff --git a/project/Build.scala b/project/Build.scala
@@ -493,9 +493,9 @@ object Build {
       libraryDependencies ++= Seq(
         "org.scala-lang.modules" % "scala-asm" % "7.3.1-scala-1", // used by the backend
         Dependencies.`compiler-interface`,
-        "org.jline" % "jline-reader" % "3.9.0",   // used by the REPL
-        "org.jline" % "jline-terminal" % "3.9.0",
-        "org.jline" % "jline-terminal-jna" % "3.9.0" // needed for Windows
+        "org.jline" % "jline-reader" % "3.15.0",   // used by the REPL
+        "org.jline" % "jline-terminal" % "3.15.0",
+        "org.jline" % "jline-terminal-jna" % "3.15.0" // needed for Windows
       ),
 
       // For convenience, change the baseDirectory when running the compiler

Original file line number	Diff line number	Diff line change
`@@ -76,6 +76,8 @@ final class JLineTerminal extends java.io.Closeable {`
`76`	`76`	`val highlighted = SyntaxHighlighting.highlight(buffer)`
`77`	`77`	`AttributedString.fromAnsi(highlighted)`
`78`	`78`	`}`
	`79`	`+ def setErrorPattern(errorPattern: java.util.regex.Pattern): Unit = {}`
	`80`	`+ def setErrorIndex(errorIndex: Int): Unit = {}`
`79`	`81`	`}`
`80`	`82`
`81`	`83`	`/** Provide multi-line editing support */`