aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/dotty/tools/dotc/repl/InteractiveReader.scala11
-rw-r--r--src/dotty/tools/dotc/repl/JLineReader.scala15
2 files changed, 18 insertions, 8 deletions
diff --git a/src/dotty/tools/dotc/repl/InteractiveReader.scala b/src/dotty/tools/dotc/repl/InteractiveReader.scala
index 96c55ebd0..29ecd3c9d 100644
--- a/src/dotty/tools/dotc/repl/InteractiveReader.scala
+++ b/src/dotty/tools/dotc/repl/InteractiveReader.scala
@@ -8,24 +8,19 @@ trait InteractiveReader {
val interactive: Boolean
}
-/** TODO Enable jline support.
- * The current Scala REPL know how to do this flexibly.
+/** The current Scala REPL know how to do this flexibly.
*/
object InteractiveReader {
/** Create an interactive reader. Uses JLine if the
* library is available, but otherwise uses a
* SimpleReader. */
- def createDefault(): InteractiveReader = new SimpleReader()
- /*
- {
+ def createDefault(): InteractiveReader = {
try {
- new JLineReader
+ new JLineReader()
} catch {
case e =>
//out.println("jline is not available: " + e) //debug
new SimpleReader()
}
}
-*/
-
}
diff --git a/src/dotty/tools/dotc/repl/JLineReader.scala b/src/dotty/tools/dotc/repl/JLineReader.scala
new file mode 100644
index 000000000..592b19df5
--- /dev/null
+++ b/src/dotty/tools/dotc/repl/JLineReader.scala
@@ -0,0 +1,15 @@
+package dotty.tools
+package dotc
+package repl
+
+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)
+}