Add QuoteScope

Author: nicolasstucki

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

@@ -10,30 +10,19 @@ import scala.quoted.show.SyntaxHighlight
  *
  *  @param tasty Typed AST API. Usage: `def f(qctx: QuoteContext) = { import qctx.tasty._; ... }`.
  */
-trait QuoteContext { self =>
+trait QuoteContext extends QuoteScope { self =>
 
-  /** Low-level Typed AST API `tasty` meta-programming API.
-   *  This API does not have the static type guarantiees that `Expr` and `Type` provide.
-   */
-  val tasty: scala.tasty.Reflection
+  /** Quoted  of type `T` */
+  type Expr[+T] = scala.quoted.Expr[T]
+
+  /** Quoted type (or kind) `T` */
+  type Type[T <: AnyKind] = scala.quoted.Type[T]
 
-  /** Type of a QuoteContext provided by a splice within a quote that took this context.
-   *  It is only required if working with the reflection API.
-   *
-   *  Usually it is infered by the quotes an splices typing. But sometimes it is necessary
-   *  to explicitly state that a context is nested as in the following example:
-   *
-   *  ```scala
-   *  def run(using qctx: QuoteContext)(tree: qctx.tasty.Tree): Unit =
-   *    def nested()(using qctx.Nested): Expr[Int] = '{  ${ makeExpr(tree) } + 1  }
-   *    '{  ${ nested() } + 2 }
-   *  def makeExpr(using qctx: QuoteContext)(tree: qctx.tasty.Tree): Expr[Int] = ???
-   *  ```
-   */
   type Nested = QuoteContext {
+    type Expr[+T] >: self.Expr[T]
+    type Type[T <: AnyKind] >: self.Type[T]
     val tasty: self.tasty.type
   }
-
 }
 
 object QuoteContext {

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

@@ -0,0 +1,91 @@
+package scala.quoted
+
+import scala.quoted.show.SyntaxHighlight
+
+/** Quotation context provided by a macro expansion or in the scope of `scala.quoted.run`.
+ *  Used to perform all operations on quoted `Expr` or `Type`.
+ *
+ *  It contains the low-level Typed AST API `tasty` meta-programming API.
+ *  This API does not have the static type guarantiees that `Expr` and `Type` provide.
+ *
+ *  @param tasty Typed AST API. Usage: `def f(qctx: QuoteContext) = { import qctx.tasty._; ... }`.
+ */
+trait QuoteScope { self =>
+
+  /** Quoted expression of type `T` */
+  type Expr[+T]
+
+  object Expr {
+
+    // /** Show a source code like representation of this expression without syntax highlight */
+    // def [T](expr: Expr[T]).show(using QuoteScope): String =
+    //   expr.unseal.showWith(SyntaxHighlight.plain)
+
+    // /** Show a source code like representation of this expression */
+    // def show(syntaxHighlight: SyntaxHighlight)(using qctx: QuoteContext): String =
+    //   expr.unseal.showWith(syntaxHighlight)
+
+    // /** Return the unlifted value of this expression.
+    //   *
+    //   *  Returns `None` if the expression does not contain a value or contains side effects.
+    //   *  Otherwise returns the `Some` of the value.
+    //   */
+    // final def unlift[U >: T](using qctx: QuoteContext, unlift: Unliftable[U]): Option[U] =
+    //   unlift(expr)
+
+    // /** Return the unlifted value of this expression.
+    //   *
+    //   *  Emits an error and throws if the expression does not contain a value or contains side effects.
+    //   *  Otherwise returns the value.
+    //   */
+    // final def unliftOrError[U >: T](using qctx: QuoteContext, unlift: Unliftable[U]): U =
+    //   unlift(expr).getOrElse(Reporting.throwError(s"Expected a known value. \n\nThe value of: ${expr.show}\ncould not be unlifted using $unlift", this))
+
+    // /** Pattern matches `this` against `that`. Effectively performing a deep equality check.
+    //   *  It does the equivalent of
+    //   *  ```
+    //   *  this match
+    //   *    case '{...} => true // where the contents of the pattern are the contents of `that`
+    //   *    case _ => false
+    //   *  ```
+    //   */
+    // final def matches(that: Expr[Any])(using qctx: QuoteContext): Boolean =
+    //   !scala.internal.quoted.Expr.unapply[Unit, Unit](expr)(using that, false, qctx).isEmpty
+
+    // /** Checked cast to a `quoted.Expr[U]` */
+    // def cast[U](using tp: scala.quoted.Type[U])(using qctx: QuoteContext): scala.quoted.Expr[U] =
+    //   qctx.tasty.internal.QuotedExpr_cast[U](expr)(using tp, qctx.tasty.rootContext)
+
+    /** View this expression `Expr[T]` as a `Term` */
+    def [T](expr: Expr[T]).unseal: self.tasty.Term =
+      self.tasty.internal.QuotedExpr_unseal(expr.asInstanceOf[scala.quoted.Expr[T]])(using self.tasty.rootContext)
+  }
+
+  /** Quoted type (or kind) `T` */
+  type Type[T <: AnyKind]
+
+  /** Low-level Typed AST API `tasty` meta-programming API.
+   *  This API does not have the static type guarantiees that `Expr` and `Type` provide.
+   */
+  val tasty: scala.tasty.Reflection
+
+  /** Type of a QuoteContext provided by a splice within a quote that took this context.
+   *  It is only required if working with the reflection API.
+   *
+   *  Usually it is infered by the quotes an splices typing. But sometimes it is necessary
+   *  to explicitly state that a context is nested as in the following example:
+   *
+   *  ```scala
+   *  def run(using qctx: QuoteContext)(tree: qctx.tasty.Tree): Unit =
+   *    def nested()(using qctx.Nested): Expr[Int] = '{  ${ makeExpr(tree) } + 1  }
+   *    '{  ${ nested() } + 2 }
+   *  def makeExpr(using qctx: QuoteContext)(tree: qctx.tasty.Tree): Expr[Int] = ???
+   *  ```
+   */
+  type Nested <: QuoteScope {
+    type Expr[+T] >: self.Expr[T]
+    type Type[T <: AnyKind] >: self.Type[T]
+    val tasty: self.tasty.type
+  }
+
+}