Add typeOf to TASTy reflection

Author: nicolasstucki

library/src/scala/tasty/Reflection.scala

@@ -20,7 +20,11 @@ abstract class Reflection
     with TreeOps
     with TreeUtils
     with TypeOrBoundsTreeOps
-    with TypeOrBoundsOps
+    with TypeOrBoundsOps {
+
+  def typeOf[T: scala.quoted.Type]: Type =
+    implicitly[scala.quoted.Type[T]].unseal.tpe
+}
 
 object Reflection {
   /** Compiler tasty context available in a top level ~ of an inline macro */

library/src/scala/tasty/reflect/TypeOrBoundsOps.scala

@@ -5,6 +5,8 @@ trait TypeOrBoundsOps extends Core {
 
   // ----- Types ----------------------------------------------------
 
+  def typeOf[T: scala.quoted.Type]: Type
+
   trait TypeAPI {
     def =:=(other: Type)(implicit ctx: Context): Boolean
     def <:<(other: Type)(implicit ctx: Context): Boolean

tests/run-separate-compilation/tasty-typeof.check

@@ -0,0 +1,3 @@
+collection.immutable.List[scala.Int]
+Macros
+Macros

tests/run-separate-compilation/tasty-typeof/Macro_1.scala

@@ -0,0 +1,35 @@
+import scala.quoted._
+import scala.tasty._
+
+object Macros {
+
+  inline def testTypeOf(): Unit = ~testTypeOfImpl
+
+  private def testTypeOfImpl(implicit reflect: Reflection): Expr[Unit] = {
+    import reflect._
+    '{
+      assert(~(typeOf[Unit] =:= definitions.UnitType).toExpr, "Unit")
+      assert(~(typeOf[Byte] =:= definitions.ByteType).toExpr, "Byte")
+      assert(~(typeOf[Short] =:= definitions.ShortType).toExpr, "Short")
+      assert(~(typeOf[Int] =:= definitions.IntType).toExpr, "Int")
+      assert(~(typeOf[Long] =:= definitions.LongType).toExpr, "Long")
+      assert(~(typeOf[Float] =:= definitions.FloatType).toExpr, "Float")
+      assert(~(typeOf[Double] =:= definitions.DoubleType).toExpr, "Double")
+      assert(~(typeOf[Char] =:= definitions.CharType).toExpr, "Char")
+      assert(~(typeOf[String] =:= definitions.StringType).toExpr, "String")
+
+      assert(~(typeOf[Any] =:= definitions.AnyType).toExpr, "Any")
+      assert(~(typeOf[AnyRef] =:= definitions.AnyRefType).toExpr, "AnyRef")
+      assert(~(typeOf[AnyVal] =:= definitions.AnyValType).toExpr, "AnyVal")
+      assert(~(typeOf[Object] =:= definitions.ObjectType).toExpr, "Object")
+      assert(~(typeOf[Nothing] =:= definitions.NothingType).toExpr, "Nothing")
+
+      println(~(typeOf[List[Int]].showCode.toExpr))
+      println(~(typeOf[Macros].showCode.toExpr))
+      println(~(typeOf[Macros.type].showCode.toExpr))
+    }
+  }
+
+}
+
+class Macros

tests/run-separate-compilation/tasty-typeof/Test_2.scala

@@ -0,0 +1,8 @@
+
+object Test {
+
+  def main(args: Array[String]): Unit = {
+    Macros.testTypeOf()
+  }
+
+}