Move showName to scala.internal

Author: nicolasstucki

docs/docs/reference/metaprogramming/macros.md

@@ -564,53 +564,6 @@ while (i < arr.length) {
 }
 sum
 ```
-### Showing meaningful definition names in quotes
-
-In the `powerCode` example above there is a `'{ val y = $x * $x; ... }` which when printed
-may show several different `val y = ...`.
-
-For example
-```scala
-powerCode(16, '{7}).show
-```
-will show
-```scala
-val y: scala.Double = 7
-val y: scala.Double = y.*(y)
-val y: scala.Double = y.*(y)
-val y: scala.Double = y.*(y)
-val y: scala.Double = y.*(y)
-y
-```
-Even though there is no hygiene issue it may be hard to undestand the code. To overcome this inconvenience
-each `y` can be assigned a meaningful name using the `scala.quoted.show.showName` annotation.
-For example `'{ @showName(${Expr("y" + i)}) val y = $x * $x; ... }` will assign to each `y` a name
-`a{i}` where `{i}` is a known String, if `i == 3` then it would be named `a3`.
-
-The `powerCode` can be defined as follows using `showName`
-```scala
-def powerCodeD(n: Long, x: Expr[Double]))(given QuoteContext): Expr[Double] = '{
-  val a1 = $x
-  ${ powerCodeD(n, 2, 'x1) }
-}
-def powerCodeD(n: Long, i: Int, x: Expr[Double])(given QuoteContext): Expr[Double] =
-  if (n == 0) '{1.0}
-  else if (n % 2 == 0) '{ @showName(${Expr("a" + i)}) val y = $x * $x; ${powerCodeD(n / 2, idx * 2, 'y)} }
-  else '{ $x * ${powerCodeD(n - 1, idx, x)} }
-```
-then
-```scala
-powerCodeD(16, '{7}).show
-```
-will show
-```scala
-val a1: scala.Double = 7
-val a2: scala.Double = a1.*(a1)
-val a4: scala.Double = a2.*(a2)
-val a8: scala.Double = a4.*(a4)
-val a16: scala.Double = a8.*(a8)
-a16
-```
 
 ### Find implicits within a macro
 

library/src/scala/quoted/show/showName.scala renamed to library/src/scala/internal/quoted/showName.scala

@@ -1,4 +1,4 @@
-package scala.quoted.show
+package scala.internal.quoted
 
 /** Annotation used inside a quote to give a custom name to a definition.
  *  The `name` argument must be a literal String.

library/src/scala/tasty/reflect/Printers.scala

@@ -1642,7 +1642,7 @@ trait Printers
 
       def printAnnotation(annot: Term)(given elideThis: Option[Symbol]): Buffer = {
         val Annotation(ref, args) = annot
-        if (annot.symbol.owner.fullName == "scala.quoted.show.showName") this
+        if (annot.symbol.owner.fullName == "scala.internal.quoted.showName") this
         else {
           this += "@"
           printTypeTree(ref)
@@ -1818,7 +1818,7 @@ trait Printers
     }
 
     private def splicedName(sym: Symbol)(given ctx: Context): Option[String] = {
-      sym.annots.find(_.symbol.owner.fullName == "scala.quoted.show.showName").flatMap {
+      sym.annots.find(_.symbol.owner.fullName == "scala.internal.quoted.showName").flatMap {
         case Apply(_, Literal(Constant(c: String)) :: Nil) => Some(c)
         case Apply(_, Inlined(_, _, Literal(Constant(c: String))) :: Nil) => Some(c)
         case annot => None

tests/run-staging/quoted-show-name.scala

@@ -1,5 +1,5 @@
 import scala.quoted._
-import scala.quoted.show.showName
+import scala.internal.quoted.showName
 import scala.quoted.staging._
 import scala.reflect.ClassTag