My repl history hasn't been working right for a...

My repl history hasn't been working right for a while (since about when
jline2 was introduced.) Nobody else has said anything so either it's
just me or I'm the only one using trunk, but either way I decided I'd
rather write some history code than tinker with jline. So this is code
to implement the jline history interface. No review.

1 files changed, 28 insertions, 0 deletions

diff --git a/src/compiler/scala/tools/nsc/interpreter/session/History.scala b/src/compiler/scala/tools/nsc/interpreter/session/History.scala
new file mode 100644
index 0000000000..5e1aba20f1
--- /dev/null
+++ b/src/compiler/scala/tools/nsc/interpreter/session/History.scala
@@ -0,0 +1,28 @@
+/* NSC -- new Scala compiler
+ * Copyright 2005-2011 LAMP/EPFL
+ * @author Paul Phillips
+ */
+
+package scala.tools.nsc
+package interpreter
+package session
+
+/** An implementation-agnostic history interface which makes no
+ *  reference to the jline classes.  Very sparse right now.
+ */
+trait History {
+  def asStrings: List[String]
+  def index: Int
+  def size: Int
+  def grep(s: String): List[String]
+}
+object NoHistory extends History {
+  def asStrings       = Nil
+  def grep(s: String) = Nil
+  def index           = 0
+  def size            = 0
+}
+
+object History {
+  def empty: History = NoHistory
+}