diff options
author | Martin Odersky <odersky@gmail.com> | 2016-02-14 15:56:22 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-02-17 18:39:35 +0100 |
commit | 4550b524771af0719846eb906795a5ba83106eb9 (patch) | |
tree | 39d008ec7e26d341beff0041d219c6f99fa35cda /src/dotty/tools/dotc/repl/InteractiveReader.scala | |
parent | 37b6df435f1595f8610ec6d5fbe16d079da2eff7 (diff) | |
download | dotty-4550b524771af0719846eb906795a5ba83106eb9.tar.gz dotty-4550b524771af0719846eb906795a5ba83106eb9.tar.bz2 dotty-4550b524771af0719846eb906795a5ba83106eb9.zip |
Revisions to REPL
Changes necessary to make basic REPL functionality work.
Major refactoing: Code of Interpreter is now in CompilingInterpreter.scala.
Interpreter.scala contains just the API.
Diffstat (limited to 'src/dotty/tools/dotc/repl/InteractiveReader.scala')
-rw-r--r-- | src/dotty/tools/dotc/repl/InteractiveReader.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/repl/InteractiveReader.scala b/src/dotty/tools/dotc/repl/InteractiveReader.scala index 55f7de0b2..96c55ebd0 100644 --- a/src/dotty/tools/dotc/repl/InteractiveReader.scala +++ b/src/dotty/tools/dotc/repl/InteractiveReader.scala @@ -8,6 +8,9 @@ trait InteractiveReader { val interactive: Boolean } +/** TODO Enable jline support. + * 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 |