Move quoted staging to it's own package

Author: nicolasstucki

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

@@ -8,7 +8,7 @@ import dotty.tools.io.{AbstractFile, Directory, PlainDirectory, VirtualDirectory
 import dotty.tools.repl.AbstractFileClassLoader
 import dotty.tools.dotc.reporting._
 import scala.quoted._
-import scala.quoted.Toolbox
+import scala.quoted.staging.Toolbox
 import java.net.URLClassLoader
 
 /** Driver to compile quoted code

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

@@ -13,7 +13,7 @@ object ToolboxImpl {
     * @param settings toolbox settings
     * @return A new instance of the toolbox
     */
-  def make(settings: scala.quoted.Toolbox.Settings, appClassloader: ClassLoader): scala.quoted.Toolbox = new scala.quoted.Toolbox {
+  def make(settings: scala.quoted.staging.Toolbox.Settings, appClassloader: ClassLoader): scala.quoted.staging.Toolbox = new scala.quoted.staging.Toolbox {
 
     private[this] val driver: QuoteDriver = new QuoteDriver(appClassloader)
 
@@ -22,7 +22,7 @@ object ToolboxImpl {
     def run[T](exprBuilder: QuoteContext => Expr[T]): T = synchronized {
       try {
         if (running) // detected nested run
-          throw new scala.quoted.Toolbox.RunScopeException()
+          throw new scala.quoted.staging.Toolbox.RunScopeException()
         running = true
         driver.run(exprBuilder, settings)
       } finally {
@@ -35,7 +35,7 @@ object ToolboxImpl {
 
   private[dotty] def checkScopeId(id: ScopeId) given Context: Unit = {
     if (id != scopeId)
-      throw new Toolbox.RunScopeException
+      throw new staging.Toolbox.RunScopeException
   }
 
   // TODO Explore more fine grained scope ids.

compiler/test-resources/repl-macros/i6007

@@ -1,5 +1,5 @@
 scala> import scala.quoted._
-scala> implicit def toolbox: scala.quoted.Toolbox = scala.quoted.Toolbox.make(getClass.getClassLoader)
+scala> implicit def toolbox: scala.quoted.staging.Toolbox = scala.quoted.staging.Toolbox.make(getClass.getClassLoader)
 def toolbox: quoted.Toolbox
 scala> def v given QuoteContext = '{ (if true then Some(1) else None).map(v => v+1) }
 def v given (x$1: quoted.QuoteContext): quoted.Expr[Option[Int]]

compiler/test-resources/repl-macros/i6263

@@ -1,5 +1,5 @@
 scala> import quoted._
-scala> implicit def toolbox: scala.quoted.Toolbox = scala.quoted.Toolbox.make(getClass.getClassLoader)
+scala> implicit def toolbox: scala.quoted.staging.Toolbox = scala.quoted.staging.Toolbox.make(getClass.getClassLoader)
 def toolbox: quoted.Toolbox
 scala> def fn[T : Type](v : T) = println("ok")
 def fn[T](v: T)(implicit evidence$1: quoted.Type[T]): Unit

docs/docs/reference/metaprogramming/staging.md

@@ -82,7 +82,7 @@ to get a source-like representation of the expression.
 
 ```scala
 // make available the necessary toolbox for runtime code generation
-implicit val toolbox: scala.quoted.Toolbox = scala.quoted.Toolbox.make(getClass.getClassLoader)
+implicit val toolbox: scala.quoted.staging.Toolbox = scala.quoted.staging.Toolbox.make(getClass.getClassLoader)
 
 val f: Array[Int] => Int = run {
   val stagedSum: Expr[Array[Int] => Int] = '{ (arr: Array[Int]) => ${sum('arr)}}

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

@@ -2,49 +2,6 @@ package scala
 
 package object quoted {
 
-  /** Evaluate the contents of this expression and return the result.
-   *  It provides a new QuoteContext that is only valid within the scope the argument.
-   *
-   *  Usage:
-   *  ```
-   *  val e: T = run { // (given qctx: QuoteContext) =>
-   *    expr
-   *  }
-   *  ```
-   *  where `expr: Expr[T]`
-   *
-   *  This method should not be called in a context where there is already has a `QuoteContext`
-   *  such as within a `run` or a `withQuoteContext`.
-   */
-  def run[T](expr: given QuoteContext => Expr[T]) given (toolbox: Toolbox): T = toolbox.run(expr given _)
-
-  /** Provide a new quote context within the scope of the argument that is only valid within the scope the argument.
-   *  Return the result of the argument.
-   *
-   *  Usage:
-   *  ```
-   *  val e: T = withQuoteContext { // (given qctx: QuoteContext) =>
-   *    thunk
-   *  }
-   *  ```
-   *  where `thunk: T`
-   *
-   *  This method should not be called in a context where there is already has a `QuoteContext`
-   *  such as within a `run` or a `withQuoteContext`.
-   */
-  def withQuoteContext[T](thunk: given QuoteContext => T) given (toolbox: Toolbox): T = {
-    var result: T = NoResult.asInstanceOf[T]
-    def dummyRun given QuoteContext: Expr[Unit] = {
-      result = thunk
-      Expr.unitExpr
-    }
-    toolbox.run(dummyRun given _)
-    assert(result != NoResult) // toolbox.run should have thrown an exception
-    result
-  }
-
-  private object NoResult
-
   object autolift {
     given autoToExpr[T] as Conversion[T, Expr[T]] given Liftable[T], QuoteContext = _.toExpr
   }

library/src-bootstrapped/scala/quoted/staging/package.scala

@@ -0,0 +1,48 @@
+package scala.quoted
+
+package object staging {
+
+  /** Evaluate the contents of this expression and return the result.
+   *  It provides a new QuoteContext that is only valid within the scope the argument.
+   *
+   *  Usage:
+   *  ```
+   *  val e: T = run { // (given qctx: QuoteContext) =>
+   *    expr
+   *  }
+   *  ```
+   *  where `expr: Expr[T]`
+   *
+   *  This method should not be called in a context where there is already has a `QuoteContext`
+   *  such as within a `run` or a `withQuoteContext`.
+   */
+  def run[T](expr: given QuoteContext => Expr[T]) given (toolbox: Toolbox): T = toolbox.run(expr given _)
+
+  /** Provide a new quote context within the scope of the argument that is only valid within the scope the argument.
+   *  Return the result of the argument.
+   *
+   *  Usage:
+   *  ```
+   *  val e: T = withQuoteContext { // (given qctx: QuoteContext) =>
+   *    thunk
+   *  }
+   *  ```
+   *  where `thunk: T`
+   *
+   *  This method should not be called in a context where there is already has a `QuoteContext`
+   *  such as within a `run` or a `withQuoteContext`.
+   */
+  def withQuoteContext[T](thunk: given QuoteContext => T) given (toolbox: Toolbox): T = {
+    var result: T = NoResult.asInstanceOf[T]
+    def dummyRun given QuoteContext: Expr[Unit] = {
+      result = thunk
+      Expr.unitExpr
+    }
+    toolbox.run(dummyRun given _)
+    assert(result != NoResult) // toolbox.run should have thrown an exception
+    result
+  }
+
+  private object NoResult
+
+}

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

@@ -2,49 +2,6 @@ package scala
 
 package object quoted {
 
-  /** Evaluate the contents of this expression and return the result.
-   *  It provides a new QuoteContext that is only valid within the scope the argument.
-   *
-   *  Usage:
-   *  ```
-   *  val e: T = run { // (given qctx: QuoteContext) =>
-   *    expr
-   *  }
-   *  ```
-   *  where `expr: Expr[T]`
-   *
-   *  This method should not be called in a context where there is already has a `QuoteContext`
-   *  such as within a `run` or a `withQuoteContext`.
-   */
-  def run[T](expr: given QuoteContext => Expr[T]) given (toolbox: Toolbox): T = toolbox.run(expr given _)
-
-  /** Provide a new quote context within the scope of the argument that is only valid within the scope the argument.
-   *  Return the result of the argument.
-   *
-   *  Usage:
-   *  ```
-   *  val e: T = withQuoteContext { // (given qctx: QuoteContext) =>
-   *    thunk
-   *  }
-   *  ```
-   *  where `thunk: T`
-   *
-   *  This method should not be called in a context where there is already has a `QuoteContext`
-   *  such as within a `run` or a `withQuoteContext`.
-   */
-  def withQuoteContext[T](thunk: given QuoteContext => T) given (toolbox: Toolbox): T = {
-    var result: T = NoResult.asInstanceOf[T]
-    def dummyRun given QuoteContext: Expr[Unit] = {
-      result = thunk
-      Expr.unitExpr
-    }
-    toolbox.run(dummyRun given _)
-    assert(result != NoResult) // toolbox.run should have thrown an exception
-    result
-  }
-
-  private object NoResult
-
   object autolift {
     given autoToExpr[T] as Conversion[T, Expr[T]] given Liftable[T], QuoteContext = _.toExpr
   }

library/src/scala/quoted/Expr.scala

@@ -3,6 +3,7 @@ package scala
 package quoted {
 
   import scala.quoted.show.SyntaxHighlight
+  import scala.quoted.staging.Toolbox
 
   sealed trait Expr[+T] {
 

library/src/scala/quoted/Toolbox.scala renamed to library/src/scala/quoted/staging/Toolbox.scala

@@ -1,8 +1,9 @@
 package scala.quoted
+package staging
 
 import scala.annotation.implicitNotFound
 
-@implicitNotFound("Could not find implicit quoted.Toolbox.\n\nDefault toolbox can be instantiated with:\n  `implicit val toolbox: scala.quoted.Toolbox = scala.quoted.Toolbox.make(getClass.getClassLoader)`\n\n")
+@implicitNotFound("Could not find implicit scala.quoted.staging.Toolbox.\n\nDefault toolbox can be instantiated with:\n  `implicit val toolbox: scala.quoted.staging.Toolbox = scala.quoted.staging.Toolbox.make(getClass.getClassLoader)`\n\n")
 trait Toolbox {
   def run[T](expr: QuoteContext => Expr[T]): T
 }
@@ -13,7 +14,7 @@ object Toolbox {
     *
     * Usuage:
     * ```
-    * implicit val toolbox: scala.quoted.Toolbox = scala.quoted.Toolbox.make(getClass.getClassLoader)
+    * implicit val toolbox: scala.quoted.staging.Toolbox = scala.quoted.staging.Toolbox.make(getClass.getClassLoader)
     * ```
     *
     * @param appClassloader classloader of the application that generated the quotes