Add :kind command to REPL

:kind command diplays the kind of types and type constructors in Scala
syntax notation.

    scala> :kind (Int, Int) => Int
    scala.Function2's kind is F[-A1,-A2,+A3]

1 files changed, 12 insertions, 0 deletions

diff --git a/test/files/run/kind-repl-command.scala b/test/files/run/kind-repl-command.scala
new file mode 100644
index 0000000000..df1fafb667
--- /dev/null
+++ b/test/files/run/kind-repl-command.scala
@@ -0,0 +1,12 @@
+import scala.tools.partest.ReplTest
+
+object Test extends ReplTest {
+  def code = """
+  |:kind scala.Option
+  |:k (Int, Int) => Int
+  |:k -v Either
+  |:k -v scala.collection.generic.ImmutableSortedMapFactory
+  |:k new { def empty = false }
+  |:k Nonexisting
+  """.stripMargin
+}