Merge pull request #8948 from dotty-staging/move-quoted-to-src-bootstrapped

Only compile quoted code in bootstrapped library

Author: anatoliykmetyuk

library/src-bootstrapped/dotty/internal/CompileTimeMacros.scala

@@ -0,0 +1,11 @@
+package dotty.internal
+
+import scala.quoted._
+
+object CompileTimeMacros:
+  def codeExpr(using qctx: QuoteContext)(sc: Expr[StringContext], args: Expr[Seq[Any]]): Expr[String] =
+    (sc, args) match
+      case (Expr.StringContext(Consts(parts)), Varargs(args2)) =>
+        Expr(StringContext(parts: _*).s(args2.map(_.show): _*))
+      case _ =>
+        qctx.throwError("compiletime.code must be used as a string interpolator `code\"...\"`")

library/src/scala/internal/quoted/CompileTime.scala renamed to library/src-bootstrapped/scala/internal/quoted/CompileTime.scala

@@ -0,0 +1,7 @@
+package dotty.internal
+
+import scala.quoted._
+
+object CompileTimeMacros:
+  def codeExpr(using qctx: QuoteContext)(sc: Expr[StringContext], args: Expr[Seq[Any]]): Expr[String] =
+    throw new Exception("Non bootstrapped library")

library/src/scala/quoted/Const.scala renamed to library/src-bootstrapped/scala/quoted/Const.scala

@@ -0,0 +1,36 @@
+package scala.internal.quoted
+
+import scala.annotation.{Annotation, compileTimeOnly}
+import scala.quoted._
+
+@compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime`")
+object CompileTime {
+
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.exprQuote`")
+  def exprQuote[T](x: T): QuoteContext ?=> Expr[T] = ???
+
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.exprSplice`")
+  def exprSplice[T](x: QuoteContext ?=> Expr[T]): T = ???
+
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.exprNestedSplice`")
+  def exprNestedSplice[T](ctx: QuoteContext)(x: ctx.Nested ?=> Expr[T]): T = ???
+
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.typeQuote`")
+  def typeQuote[T <: AnyKind]: Type[T] = ???
+
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.patternHole`")
+  def patternHole[T]: T = ???
+
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.patternBindHole`")
+  class patternBindHole extends Annotation
+
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.patternType`")
+  class patternType extends Annotation
+
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.fromAbove`")
+  class fromAbove extends Annotation
+
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.quoteTypeTag`")
+  class quoteTypeTag extends Annotation
+
+}

library/src/scala/quoted/Consts.scala renamed to library/src-bootstrapped/scala/quoted/Consts.scala

@@ -0,0 +1,5 @@
+package scala.quoted
+
+class Expr[+T] private[scala]:
+  def unseal(using qctx: QuoteContext): qctx.tasty.Term =
+    throw new Exception("Non bootstrapped library")

library/src/scala/quoted/Expr.scala renamed to library/src-bootstrapped/scala/quoted/Expr.scala

@@ -0,0 +1,11 @@
+package scala.quoted
+
+trait QuoteContext { self =>
+
+  val tasty: scala.tasty.Reflection
+
+  type Nested = QuoteContext {
+    val tasty: self.tasty.type
+  }
+
+}

library/src/scala/quoted/Lambda.scala renamed to library/src-bootstrapped/scala/quoted/Lambda.scala

@@ -0,0 +1,6 @@
+package scala.quoted
+
+class Type[T <: AnyKind] private[scala]:
+  type `$splice` = T
+  def unseal(using qctx: QuoteContext): qctx.tasty.TypeTree =
+    throw new Exception("Non bootstrapped library")

library/src/scala/quoted/Liftable.scala renamed to library/src-bootstrapped/scala/quoted/Liftable.scala

@@ -35,13 +35,8 @@ package object compiletime {
    * @note only by-name arguments will be displayed as "code".
    *       Other values may display unintutively.
    */
-  transparent inline def (inline self: StringContext) code (inline args: Any*): String = ${ codeExpr('self, 'args) }
-  private def codeExpr(using qctx: QuoteContext)(sc: Expr[StringContext], args: Expr[Seq[Any]]): Expr[String] =
-    (sc, args) match
-      case (Expr.StringContext(Consts(parts)), Varargs(args2)) =>
-        Expr(StringContext(parts: _*).s(args2.map(_.show): _*))
-      case _ =>
-        qctx.throwError("compiletime.code must be used as a string interpolator `code\"...\"`")
+  transparent inline def (inline self: StringContext) code (inline args: Any*): String =
+    ${ dotty.internal.CompileTimeMacros.codeExpr('self, 'args) }
 
   inline def constValueOpt[T]: Option[T] = ???