Make {Expr|Type}.show extension methods

Author: nicolasstucki

library/src-bootstrapped/scala/quoted/Type.scala

@@ -6,14 +6,16 @@ import scala.runtime.quoted.Unpickler.Pickled
 
 sealed abstract class Type[T <: AnyKind] {
   type `$splice` = T
-
-  /** Show a source code like representation of this type */
-  final def show(implicit toolbox: Toolbox): String = toolbox.show(this.asInstanceOf[Type[Any]])
 }
 
 /** Some basic type tags, currently incomplete */
 object Type {
 
+  implicit class TypeOps[T](tpe: Type[T]) {
+    /** Show a source code like representation of this type */
+    def show(implicit toolbox: Toolbox): String = toolbox.show(tpe.asInstanceOf[Type[Any]])
+  }
+
   implicit def UnitTag: Type[Unit] = new TaggedType[Unit]
   implicit def BooleanTag: Type[Boolean] = new TaggedType[Boolean]
   implicit def ByteTag: Type[Byte] = new TaggedType[Byte]

library/src-non-bootstrapped/scala/quoted/Type.scala

@@ -6,13 +6,16 @@ import scala.runtime.quoted.Unpickler.Pickled
 
 sealed abstract class Type[T] {
   type `$splice` = T
-
-  /** Show a source code like representation of this type */
-  final def show(implicit toolbox: Toolbox): String = toolbox.show(this)
 }
 
 /** Some basic type tags, currently incomplete */
 object Type {
+
+  implicit class TypeOps[T](tpe: Type[T]) {
+    /** Show a source code like representation of this type */
+    def show(implicit toolbox: Toolbox): String = toolbox.show(tpe.asInstanceOf[Type[Any]])
+  }
+
   implicit def UnitTag: Type[Unit] = new TaggedType[Unit]
   implicit def BooleanTag: Type[Boolean] = new TaggedType[Boolean]
   implicit def ByteTag: Type[Byte] = new TaggedType[Byte]

library/src/scala/quoted/Expr.scala

@@ -10,15 +10,17 @@ sealed abstract class Expr[+T] {
    */
   final def run(implicit toolbox: Toolbox): T = toolbox.run(this)
 
-  /** Show a source code like representation of this expression */
-  final def show(implicit toolbox: Toolbox): String = toolbox.show(this)
-
 }
 
 object Expr {
 
   // TODO simplify using new extension methods
 
+  implicit class ExprOps[T](expr: Expr[T]) {
+    /** Show a source code like representation of this expression */
+    def show(implicit toolbox: Toolbox): String = toolbox.show(expr)
+  }
+
   implicit class AsFunction0[R](private val f: Expr[() => R]) extends AnyVal {
     def apply(): Expr[R] = new Exprs.FunctionAppliedTo[R](f, Array.empty)
   }

tests/run-with-compiler/quote-unrolled-foreach.scala

@@ -29,7 +29,7 @@ object Test {
     println(code4.show)
     println()
 
-    val liftedArray = Array(1, 2, 3, 4)
+    val liftedArray: Expr[Array[Int]] = Array(1, 2, 3, 4)
     println(liftedArray.show)
     println()