Add warning for :kind command

scala · Feb 11, 2025 · e399364 · e399364
1 parent 7ac31d0
commit e399364
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 0 deletions.
diff --git a/compiler/src/dotty/tools/repl/ParseResult.scala b/compiler/src/dotty/tools/repl/ParseResult.scala
@@ -52,6 +52,13 @@ object Load {
   val command: String = ":load"
 }
 
+/** `:kind <type>` display the kind of a type. see also :help kind
+ */
+case class KindOf(expr: String) extends Command
+object KindOf {
+  val command: String = ":kind"
+}
+
 /** To find out the type of an expression you may simply do:
  *
  * ```
@@ -138,6 +145,7 @@ object ParseResult {
     Help.command -> (_  => Help),
     Reset.command -> (arg  => Reset(arg)),
     Imports.command -> (_  => Imports),
+    KindOf.command -> (arg => KindOf(arg)),
     Load.command -> (arg => Load(arg)),
     TypeOf.command -> (arg => TypeOf(arg)),
     DocOf.command -> (arg => DocOf(arg)),

diff --git a/compiler/src/dotty/tools/repl/ReplDriver.scala b/compiler/src/dotty/tools/repl/ReplDriver.scala
@@ -510,6 +510,10 @@ class ReplDriver(settings: Array[String],
         state
       }
 
+    case KindOf(expr) =>
+      out.println(s"""The :kind command is not currently supported.""")
+      state
+
     case TypeOf(expr) =>
       expr match {
         case "" => out.println(s":type <expression>")

diff --git a/compiler/test-resources/repl/i21655 b/compiler/test-resources/repl/i21655
@@ -0,0 +1,2 @@
+scala>:kind
+The :kind command is not currently supported.
diff --git a/compiler/test/dotty/tools/repl/TabcompleteTests.scala b/compiler/test/dotty/tools/repl/TabcompleteTests.scala
@@ -213,6 +213,7 @@ class TabcompleteTests extends ReplTest {
         ":exit",
         ":help",
         ":imports",
+        ":kind",
         ":load",
         ":quit",
         ":reset",
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		scala>:kind
		The :kind command is not currently supported.