Move internal quoted.Expr implementations to internal package

Author: nicolasstucki

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

@@ -740,9 +740,6 @@ class Definitions {
     lazy val InternalQuotedMatcher_unapplyR: TermRef = InternalQuotedMatcherModule.requiredMethodRef(nme.unapply)
     def InternalQuotedMatcher_unapply(implicit ctx: Context) = InternalQuotedMatcher_unapplyR.symbol
 
-  lazy val QuotedExprsModule: TermSymbol = ctx.requiredModule("scala.quoted.Exprs")
-  def QuotedExprsClass(implicit ctx: Context): ClassSymbol = QuotedExprsModule.asClass
-
   lazy val QuotedTypeType: TypeRef = ctx.requiredClassRef("scala.quoted.Type")
   def QuotedTypeClass(implicit ctx: Context): ClassSymbol = QuotedTypeType.symbol.asClass
 

compiler/src/dotty/tools/dotc/core/quoted/PickledQuotes.scala

@@ -16,7 +16,7 @@ import dotty.tools.dotc.core.tasty.{PositionPickler, TastyPickler, TastyPrinter,
 import dotty.tools.dotc.core.tasty.TreeUnpickler.UnpickleMode
 
 import scala.quoted.Types._
-import scala.quoted.Exprs._
+import scala.internal.quoted._
 import scala.reflect.ClassTag
 
 object PickledQuotes {

compiler/src/dotty/tools/dotc/core/tasty/TreeUnpickler.scala

@@ -34,7 +34,7 @@ import core.quoted.PickledQuotes
 
 import scala.quoted
 import scala.quoted.Types.TreeType
-import scala.quoted.Exprs.TastyTreeExpr
+import scala.internal.quoted.TastyTreeExpr
 import scala.annotation.constructorOnly
 import scala.annotation.internal.sharable
 

compiler/src/dotty/tools/dotc/quoted/ToolboxImpl.scala

@@ -3,7 +3,7 @@ package dotty.tools.dotc.quoted
 import dotty.tools.dotc.ast.tpd
 
 import scala.quoted._
-import scala.quoted.Exprs.{LiftedExpr, TastyTreeExpr}
+import scala.internal.quoted.{LiftedExpr, TastyTreeExpr}
 
 /** Default runners for quoted expressions */
 object ToolboxImpl {

compiler/src/dotty/tools/dotc/tastyreflect/KernelImpl.scala

@@ -1747,7 +1747,7 @@ class KernelImpl(val rootContext: core.Contexts.Context, val rootPosition: util.
         tpd.Closure(closureMethod, tss => etaExpand(new tpd.TreeOps(term).appliedToArgs(tss.head)))
       case _ => term
     }
-    new scala.quoted.Exprs.TastyTreeExpr(etaExpand(self))
+    new scala.internal.quoted.TastyTreeExpr(etaExpand(self))
   }
 
   /** Checked cast to a `quoted.Expr[U]` */

compiler/src/dotty/tools/dotc/transform/Splicer.scala

@@ -102,7 +102,7 @@ object Splicer {
     }
 
     protected def interpretQuote(tree: Tree)(implicit env: Env): Object =
-      new scala.quoted.Exprs.TastyTreeExpr(Inlined(EmptyTree, Nil, tree).withSpan(tree.span))
+      new scala.internal.quoted.TastyTreeExpr(Inlined(EmptyTree, Nil, tree).withSpan(tree.span))
 
     protected def interpretTypeQuote(tree: Tree)(implicit env: Env): Object =
       new scala.quoted.Types.TreeType(tree)

library/src-2.x/scala/quoted/Expr.scala

@@ -1,49 +1,54 @@
-package scala.quoted
+package scala
 
-import scala.runtime.quoted.Unpickler.Pickled
+package quoted {
 
-sealed abstract class Expr[+T] {
+  sealed abstract class Expr[+T] {
 
-  /** Evaluate the contents of this expression and return the result.
-   *
-   *  May throw a FreeVariableError on expressions that came from a macro.
-   */
-  final def run(implicit toolbox: Toolbox): T = toolbox.run(this)
+    /** Evaluate the contents of this expression and return the result.
+     *
+     *  May throw a FreeVariableError on expressions that came from a macro.
+     */
+    final def run(implicit toolbox: Toolbox): T = toolbox.run(this)
 
-}
-
-/** All implementations of Expr[T].
- *  These should never be used directly.
- */
-object Exprs {
-  /** An Expr backed by a pickled TASTY tree */
-  final class TastyExpr[+T](val tasty: Pickled, val args: Seq[Any]) extends Expr[T] {
-    override def toString: String = s"Expr(<pickled tasty>)"
   }
 
-  /** An Expr backed by a lifted value.
-   *  Values can only be of type Boolean, Byte, Short, Char, Int, Long, Float, Double, Unit, String or Null.
-   */
-  final class LiftedExpr[+T](val value: T) extends Expr[T] {
-    override def toString: String = s"Expr($value)"
-  }
+}
 
-  /** An Expr backed by a tree. Only the current compiler trees are allowed.
-   *
-   *  These expressions are used for arguments of macros. They contain and actual tree
-   *  from the program that is being expanded by the macro.
-   *
-   *  May contain references to code defined outside this TastyTreeExpr instance.
-   */
-  final class TastyTreeExpr[Tree](val tree: Tree) extends quoted.Expr[Any] {
-    override def toString: String = s"Expr(<tasty tree>)"
-  }
+package internal {
+  package quoted {
+
+    import scala.quoted._
+
+    /** An Expr backed by a pickled TASTY tree */
+    final class TastyExpr[+T](val tasty: scala.runtime.quoted.Unpickler.Pickled, val args: Seq[Any]) extends Expr[T] {
+      override def toString: String = s"Expr(<pickled tasty>)"
+    }
+
+    /** An Expr backed by a lifted value.
+     *  Values can only be of type Boolean, Byte, Short, Char, Int, Long, Float, Double, Unit, String or Null.
+     */
+    final class LiftedExpr[+T](val value: T) extends Expr[T] {
+      override def toString: String = s"Expr($value)"
+    }
+
+    /** An Expr backed by a tree. Only the current compiler trees are allowed.
+     *
+     *  These expressions are used for arguments of macros. They contain and actual tree
+     *  from the program that is being expanded by the macro.
+     *
+     *  May contain references to code defined outside this TastyTreeExpr instance.
+     */
+    final class TastyTreeExpr[Tree](val tree: Tree) extends quoted.Expr[Any] {
+      override def toString: String = s"Expr(<tasty tree>)"
+    }
+
+    // TODO Use a List in FunctionAppliedTo(val f: Expr[_], val args: List[Expr[_]])
+    // FIXME: Having the List in the code above trigers an assertion error while testing dotty.tools.dotc.reporting.ErrorMessagesTests.i3187
+    //        This test does redefine `scala.collection`. Further investigation is needed.
+    /** An Expr representing `'{($f).apply($x1, ..., $xn)}` but it is beta-reduced when the closure is known */
+    final class FunctionAppliedTo[+R](val f: Expr[_], val args: Array[Expr[_]]) extends Expr[R] {
+      override def toString: String = s"Expr($f <applied to> ${args.toList})"
+    }
 
-  // TODO Use a List in FunctionAppliedTo(val f: Expr[_], val args: List[Expr[_]])
-  // FIXME: Having the List in the code above trigers an assertion error while testing dotty.tools.dotc.reporting.ErrorMessagesTests.i3187
-  //        This test does redefine `scala.collection`. Further investigation is needed.
-  /** An Expr representing `'{($f).apply($x1, ..., $xn)}` but it is beta-reduced when the closure is known */
-  final class FunctionAppliedTo[+R](val f: Expr[_], val args: Array[Expr[_]]) extends Expr[R] {
-    override def toString: String = s"Expr($f <applied to> ${args.toList})"
   }
 }