diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-05-17 10:09:03 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-05-17 10:09:03 -0700 |
commit | bf3c44c3356456a4ee946334a5df76893ab3d322 (patch) | |
tree | 5b239e1b3e7daede0319a0127af70ea0eacebf81 /test/files/run | |
parent | 07ef61a7d759c3944e01a77096346f5d2f1e7c74 (diff) | |
parent | 1d1492f7217f8f75f62febf1f68131931b31bfe2 (diff) | |
download | scala-bf3c44c3356456a4ee946334a5df76893ab3d322.tar.gz scala-bf3c44c3356456a4ee946334a5df76893ab3d322.tar.bz2 scala-bf3c44c3356456a4ee946334a5df76893ab3d322.zip |
Merge pull request #2340 from folone/topic/kind-pr
Added a :kind command to the REPL
Diffstat (limited to 'test/files/run')
-rw-r--r-- | test/files/run/kind-repl-command.check | 32 | ||||
-rw-r--r-- | test/files/run/kind-repl-command.scala | 12 |
2 files changed, 44 insertions, 0 deletions
diff --git a/test/files/run/kind-repl-command.check b/test/files/run/kind-repl-command.check new file mode 100644 index 0000000000..afa32acdae --- /dev/null +++ b/test/files/run/kind-repl-command.check @@ -0,0 +1,32 @@ +Type in expressions to have them evaluated. +Type :help for more information. + +scala> + +scala> :kind scala.Option +scala.Option's kind is F[+A] + +scala> :k (Int, Int) => Int +scala.Function2's kind is F[-A1,-A2,+A3] + +scala> :k -v Either +scala.util.Either's kind is F[+A1,+A2] +* -(+)-> * -(+)-> * +This is a type constructor: a 1st-order-kinded type. + +scala> :k -v scala.collection.generic.ImmutableSortedMapFactory +scala.collection.generic.ImmutableSortedMapFactory's kind is X[CC[A,B] <: scala.collection.immutable.SortedMap[A,B] with scala.collection.SortedMapLike[A,B,CC[A,B]]] +(* -> * -> *(scala.collection.immutable.SortedMap[A,B] with scala.collection.SortedMapLike[A,B,CC[A,B]])) -> * +This is a type constructor that takes type constructor(s): a higher-kinded type. + +scala> :k new { def empty = false } +AnyRef{def empty: Boolean}'s kind is A + +scala> :k Nonexisting +<console>:8: error: not found: value Nonexisting + Nonexisting + ^ + +scala> + +scala> 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 +} |