Rename reporting -> showing

Otherwise the extension method `reporting` clashes with the `reporting` package.

Author: odersky

compiler/src/dotty/tools/dotc/ast/Desugar.scala

@@ -814,7 +814,7 @@ object desugar {
     }
 
     flatTree(cdef1 :: companions ::: implicitWrappers ::: enumScaffolding)
-  }.reporting(i"desugared: $result", Printers.desugar)
+  }.showing(i"desugared: $result", Printers.desugar)
 
   /** Expand
    *

compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala

@@ -159,7 +159,7 @@ trait ConstraintHandling {
     val bound = adjust(rawBound)
     bound.exists
     && addOneBound(param, bound, isUpper) && others.forall(addOneBound(_, bound, isUpper))
-        .reporting(i"added $description = $result$location", constr)
+        .showing(i"added $description = $result$location", constr)
   end addBoundTransitively
 
   protected def addLess(p1: TypeParamRef, p2: TypeParamRef)(using Context): Boolean = {

compiler/src/dotty/tools/dotc/core/Decorators.scala

@@ -232,7 +232,7 @@ object Decorators {
       }
 
   extension [T](x: T)
-    def reporting(
+    def showing(
         op: WrappedResult[T] ?=> String,
         printer: config.Printers.Printer = config.Printers.default): T = {
       printer.println(op(using WrappedResult(x)))

compiler/src/dotty/tools/dotc/core/GadtConstraint.scala

@@ -125,7 +125,7 @@ final class ProperGadtConstraint private(
 
     // The replaced symbols are picked up here.
     addToConstraint(poly1, tvars)
-      .reporting(i"added to constraint: [$poly1] $params%, %\n$debugBoundsDescription", gadts)
+      .showing(i"added to constraint: [$poly1] $params%, %\n$debugBoundsDescription", gadts)
   }
 
   override def addBound(sym: Symbol, bound: Type, isUpper: Boolean)(using Context): Boolean = {
@@ -158,7 +158,7 @@ final class ProperGadtConstraint private(
         case bound =>
           addBoundTransitively(symTvar.origin, bound, isUpper)
       }
-    ).reporting({
+    ).showing({
       val descr = if (isUpper) "upper" else "lower"
       val op = if (isUpper) "<:" else ">:"
       i"adding $descr bound $sym $op $bound = $result"
@@ -187,7 +187,7 @@ final class ProperGadtConstraint private(
             case tb => tb
           }
         retrieveBounds
-          //.reporting(i"gadt bounds $sym: $result", gadts)
+          //.showing(i"gadt bounds $sym: $result", gadts)
           //.ensuring(containsNoInternalTypes(_))
     }
 

compiler/src/dotty/tools/dotc/core/OrderingConstraint.scala

@@ -506,7 +506,7 @@ class OrderingConstraint(private val boundsMap: ParamBounds,
         merge(this.boundsMap, that.boundsMap, mergeEntries),
         merge(this.lowerMap, that.lowerMap, mergeParams),
         merge(this.upperMap, that.upperMap, mergeParams))
-  }.reporting(i"constraint merge $this with $other = $result", constr)
+  }.showing(i"constraint merge $this with $other = $result", constr)
 
   def rename(tl: TypeLambda)(using Context): OrderingConstraint = {
     assert(contains(tl))

compiler/src/dotty/tools/dotc/core/TypeOps.scala

@@ -370,7 +370,7 @@ object TypeOps:
           }
       if needsRefinement then
         RefinedType(parent, decl.name, decl.info)
-          .reporting(i"add ref $parent $decl --> " + result, typr)
+          .showing(i"add ref $parent $decl --> " + result, typr)
       else parent
     }
 

compiler/src/dotty/tools/dotc/typer/Inliner.scala

@@ -203,7 +203,7 @@ object Inliner {
         ref(meth).appliedToTypes(targs).appliedToArgss(prefss)
           .withSpan(mdef.rhs.span.startPos))(
         using ctx.withOwner(retainer)))
-    .reporting(i"retainer for $meth: $result", inlining)
+    .showing(i"retainer for $meth: $result", inlining)
 
   /** Replace `Inlined` node by a block that contains its bindings and expansion */
   def dropInlined(inlined: Inlined)(using Context): Tree =
@@ -853,7 +853,7 @@ class Inliner(call: tpd.Tree, rhsToInline: tpd.Tree)(using Context) {
           if (idx >= 0 && idx < args.length) {
             def finish(arg: Tree) =
               new TreeTypeMap().transform(arg) // make sure local bindings in argument have fresh symbols
-                .reporting(i"projecting $tree -> $result", inlining)
+                .showing(i"projecting $tree -> $result", inlining)
             val arg = args(idx)
             if (precomputed)
               if (isElideableExpr(arg)) finish(arg)

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -2776,7 +2776,7 @@ class Typer extends Namer
               typed(untpd.Select(untpd.New(untpd.TypedSplice(tpt)), nme.CONSTRUCTOR), pt)
           }
           recur(tycon, pt)
-            .reporting(i"try new $tree -> $result", typr)
+            .showing(i"try new $tree -> $result", typr)
         }
       } { (nu, nuState) =>
         if (nu.isEmpty) fallBack(nuState)