simple integration with jline

bin/dotc

@@ -38,7 +38,7 @@ unset verbose quiet cygwin toolcp colors saved_stty CDPATH
 
 CompilerMain=dotty.tools.dotc.Main
 FromTasty=dotty.tools.dotc.FromTasty
-ReplMain=test.DottyRepl
+ReplMain=dotty.tools.dotc.repl.Main
 
 
 

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()
     }
   }
-*/
-
 }

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)
+}