Merge pull request #7930 from dotty-staging/refactor-internal-Quoted

Add missing compileTimeOnly annotations

Author: nicolasstucki

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

@@ -687,7 +687,7 @@ class Definitions {
     @tu lazy val LiftableModule_CharIsLiftable: Symbol = LiftableModule.requiredMethod("CharIsLiftable")
     @tu lazy val LiftableModule_StringIsLiftable: Symbol = LiftableModule.requiredMethod("StringIsLiftable")
 
-  @tu lazy val InternalQuotedModule: Symbol = ctx.requiredModule("scala.internal.Quoted")
+  @tu lazy val InternalQuotedModule: Symbol = ctx.requiredModule("scala.internal.quoted.CompileTime")
     @tu lazy val InternalQuoted_exprQuote  : Symbol = InternalQuotedModule.requiredMethod("exprQuote")
     @tu lazy val InternalQuoted_exprSplice : Symbol = InternalQuotedModule.requiredMethod("exprSplice")
     @tu lazy val InternalQuoted_typeQuote  : Symbol = InternalQuotedModule.requiredMethod("typeQuote")

library/src/scala/internal/Quoted.scala

@@ -1,8 +1,11 @@
+// TODO remove when reference compiler is updated
 package scala.internal
 
 import scala.annotation.{Annotation, compileTimeOnly}
 import scala.quoted._
 
+@compileTimeOnly("Illegal reference to `scala.internal.Quoted`")
+@deprecated("Use scala.internal.quoted.CompileTime", "0.22.0")
 object Quoted {
 
   /** A term quote is desugared by the compiler into a call to this method */
@@ -26,9 +29,11 @@ object Quoted {
   class patternBindHole extends Annotation
 
   /** A splice of a name in a quoted pattern is that marks the definition of a type splice */
+  @compileTimeOnly("Illegal reference to `scala.internal.Quoted.patternType`")
   class patternType extends Annotation
 
   /** A type pattern that must be aproximated from above */
+  @compileTimeOnly("Illegal reference to `scala.internal.Quoted.fromAbove`")
   class fromAbove extends Annotation
 
   /** Artifact of pickled type splices
@@ -39,7 +44,7 @@ object Quoted {
    *
    *  See ReifyQuotes.scala and PickledQuotes.scala
    */
-  @compileTimeOnly("Illegal reference to `scala.internal.Quoted.patternBindHole`")
+  @compileTimeOnly("Illegal reference to `scala.internal.Quoted.quoteTypeTag`")
   class quoteTypeTag extends Annotation
 
 }

library/src/scala/internal/quoted/CompileTime.scala

@@ -0,0 +1,48 @@
+package scala.internal.quoted
+
+import scala.annotation.{Annotation, compileTimeOnly}
+import scala.quoted._
+
+@compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime`")
+object CompileTime {
+
+  /** A term quote is desugared by the compiler into a call to this method */
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.exprQuote`")
+  def exprQuote[T](x: T): (given QuoteContext) => Expr[T] = ???
+
+  /** A term splice is desugared by the compiler into a call to this method */
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.exprSplice`")
+  def exprSplice[T](x: (given QuoteContext) => Expr[T]): T = ???
+
+  /** A type quote is desugared by the compiler into a call to this method */
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.typeQuote`")
+  def typeQuote[T <: AnyKind]: Type[T] = ???
+
+  /** A splice in a quoted pattern is desugared by the compiler into a call to this method */
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.patternHole`")
+  def patternHole[T]: T = ???
+
+  /** A splice of a name in a quoted pattern is desugared by wrapping getting this annotation */
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.patternBindHole`")
+  class patternBindHole extends Annotation
+
+  /** A splice of a name in a quoted pattern is that marks the definition of a type splice */
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.patternType`")
+  class patternType extends Annotation
+
+  /** A type pattern that must be aproximated from above */
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.fromAbove`")
+  class fromAbove extends Annotation
+
+  /** Artifact of pickled type splices
+   *
+   *  During quote reification a quote `'{ ... F[$t] ... }` will be transformed into
+   *  `'{ @quoteTypeTag type T$1 = $t ... F[T$1] ... }` to have a tree for `$t`.
+   *  This artifact is removed during quote unpickling.
+   *
+   *  See ReifyQuotes.scala and PickledQuotes.scala
+   */
+  @compileTimeOnly("Illegal reference to `scala.internal.quoted.CompileTime.quoteTypeTag`")
+  class quoteTypeTag extends Annotation
+
+}