Seal quoted.Expr and quoted.Type

Author: nicolasstucki

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

@@ -11,7 +11,8 @@ import dotty.tools.dotc.core.StdNames._
 import dotty.tools.dotc.core.Symbols._
 import dotty.tools.dotc.core.tasty.{TastyPickler, TastyPrinter, TastyString}
 
-import scala.quoted.Quoted._
+import scala.quoted.Types._
+import scala.quoted.Exprs._
 
 import scala.reflect.ClassTag
 

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

@@ -21,7 +21,8 @@ import typer.Checking
 import config.Config
 import dotty.tools.dotc.core.quoted.PickledQuotes
 import scala.quoted
-import scala.quoted.Quoted.{RawExpr, RawType}
+import scala.quoted.Types.RawType
+import scala.quoted.Exprs.RawExpr
 
 /** Unpickler for typed trees
  *  @param reader          the reader from which to unpickle

compiler/src/dotty/tools/dotc/interpreter/Interpreter.scala

@@ -72,8 +72,8 @@ class Interpreter(implicit ctx: Context) {
 
     tree match {
       case Quoted(quotedTree) =>
-        if (tree.isTerm) new scala.quoted.Quoted.RawExpr(quotedTree)
-        else new scala.quoted.Quoted.RawType(quotedTree)
+        if (tree.isTerm) new scala.quoted.Exprs.RawExpr(quotedTree)
+        else new scala.quoted.Types.RawType(quotedTree)
 
       case Literal(Constant(c)) => c.asInstanceOf[Object]
 

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

@@ -5,7 +5,7 @@ import dotty.tools.dotc.core.Constants.Constant
 import dotty.tools.dotc.printing.RefinedPrinter
 
 import scala.quoted.Expr
-import scala.quoted.Quoted.ConstantExpr
+import scala.quoted.Exprs.ConstantExpr
 import scala.runtime.quoted._
 
 /** Default runners for quoted expressions */

docs/docs/reference/symmetric-meta-programming.md

@@ -72,10 +72,10 @@ The two types can be defined in package `scala.quoted` as follows:
 
     package scala.quoted
 
-    abstract class Expr[T] {
+    sealed abstract class Expr[T] {
       def unary_~: T   // splice operation
     }
-    class Type[T] {
+    sealed abstract class Type[T] {
       type unary_~ = T  // splice type
     }
 
@@ -397,7 +397,7 @@ to be executed at a later stage. To run that code, there is another method
 in class `Expr` called `run`. Note that `~` and `run` both map from `Expr[T]`
 to `T` but only `~` is subject to the PCP, whereas `run` is just a normal method.
 
-    abstract class Expr[T] {
+    sealed abstract class Expr[T] {
       def unary_~: T
       def run(implicit runner: Runner[T]): T       // run staged code
       def show(implicit runner: Runner[T]): String // show staged code

library/src/scala/quoted/Expr.scala

@@ -1,8 +1,9 @@
 package scala.quoted
 
 import scala.runtime.quoted.Runner
+import scala.runtime.quoted.Unpickler.Pickled
 
-abstract class Expr[T] extends Quoted {
+sealed abstract class Expr[T] extends Quoted {
   final def unary_~ : T = throw new Error("~ should have been compiled away")
   final def run(implicit runner: Runner[T]): T = runner.run(this)
   final def show(implicit runner: Runner[T]): String = runner.show(this)
@@ -16,3 +17,21 @@ object Expr {
     def apply(x: Expr[T]): Expr[U] = ???
   }
 }
+
+/** All implementations of Expr[T] */
+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>)"
+  }
+
+  /** An Expr backed by a value */
+  final class ConstantExpr[T](val value: T) extends Expr[T] {
+    override def toString: String = s"Expr($value)"
+  }
+
+  /** An Expr backed by a tree */
+  final class RawExpr[Tree](val tree: Tree) extends quoted.Expr[Any] {
+    override def toString: String = s"Expr(<raw>)"
+  }
+}

library/src/scala/quoted/Liftable.scala

@@ -1,6 +1,6 @@
 package scala.quoted
 
-import scala.quoted.Quoted.ConstantExpr
+import scala.quoted.Exprs.ConstantExpr
 
 /** A typeclass for types that can be turned to `quoted.Expr[T]`
  *  without going through an explicit `'(...)` operation.

library/src/scala/quoted/Quoted.scala

@@ -1,45 +1,4 @@
 package scala.quoted
 
-import scala.reflect.ClassTag
-import scala.runtime.quoted.Unpickler.Pickled
-
 /** Common superclass of Expr and Type */
 abstract class Quoted
-
-object Quoted {
-
-  // Implementations of Expr[T]
-
-  /** 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>)"
-  }
-
-  /** An Expr backed by a value */
-  final class ConstantExpr[T](val value: T) extends Expr[T] {
-    override def toString: String = s"Expr($value)"
-  }
-
-  /** An Expr backed by a tree */
-  final class RawExpr[Tree](val tree: Tree) extends quoted.Expr[Any] {
-    override def toString: String = s"Expr(<raw>)"
-  }
-
-  // Implementations of Type[T]
-
-  /** A Type backed by a pickled TASTY tree */
-  final class TastyType[T](val tasty: Pickled, val args: Seq[Any]) extends Type[T] {
-    override def toString(): String = s"Type(<pickled>)"
-  }
-
-  /** An Type backed by a value */
-  final class TaggedType[T](implicit val ct: ClassTag[T]) extends Type[T] {
-    override def toString: String = s"Type($ct)"
-  }
-
-  /** An Type backed by a tree */
-  final class RawType[Tree](val tree: Tree) extends quoted.Type[Any] {
-    override def toString: String = s"Type(<raw>)"
-  }
-
-}

library/src/scala/quoted/Type.scala

@@ -1,8 +1,10 @@
 package scala.quoted
 
-import scala.quoted.Quoted.TaggedType
+import scala.quoted.Types.TaggedType
+import scala.reflect.ClassTag
+import scala.runtime.quoted.Unpickler.Pickled
 
-abstract class Type[T] extends Quoted {
+sealed abstract class Type[T] extends Quoted {
   type unary_~ = T
 }
 
@@ -18,3 +20,21 @@ object Type {
   implicit def FloatTag: Type[Float] = new TaggedType[Float]
   implicit def DoubleTag: Type[Double] = new TaggedType[Double]
 }
+
+/** Implementations of Type[T] */
+object Types {
+  /** A Type backed by a pickled TASTY tree */
+  final class TastyType[T](val tasty: Pickled, val args: Seq[Any]) extends Type[T] {
+    override def toString(): String = s"Type(<pickled>)"
+  }
+
+  /** An Type backed by a value */
+  final class TaggedType[T](implicit val ct: ClassTag[T]) extends Type[T] {
+    override def toString: String = s"Type($ct)"
+  }
+
+  /** An Type backed by a tree */
+  final class RawType[Tree](val tree: Tree) extends quoted.Type[Any] {
+    override def toString: String = s"Type(<raw>)"
+  }
+}

library/src/scala/runtime/quoted/Unpickler.scala

@@ -1,6 +1,7 @@
 package scala.runtime.quoted
 
-import scala.quoted.Quoted.{TastyExpr, TastyType}
+import scala.quoted.Types.TastyType
+import scala.quoted.Exprs.TastyExpr
 import scala.quoted.{Expr, Type}
 
 /** Provides methods to unpickle `Expr` and `Type` trees. */