src/dotty/tools/dotc/repl/JLineReader.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

package dotty.tools
package dotc
package repl

import dotc.core.Contexts.Context
import jline.console.ConsoleReader

/** Adaptor for JLine
 */
class JLineReader extends InteractiveReader {
  val reader = new ConsoleReader()

  val interactive = true

  def readLine(prompt: String) = reader.readLine(prompt)
}