Remove Context from Printers

Author: nicolasstucki

compiler/src/dotty/tools/dotc/quoted/reflect/ReflectionCompilerInterface.scala

@@ -58,7 +58,7 @@ class ReflectionCompilerInterface(val rootContext: Context) extends CompilerInte
 
   def Constraints_context[T]: scala.quoted.QuoteContext =
     val ctx = rootContext.fresh.setFreshGADTBounds.addMode(Mode.GadtConstraintInference)
-    dotty.tools.dotc.quoted.QuoteContext()(using ctx)
+    dotty.tools.dotc.quoted.QuoteContextImpl()(using ctx)
 
   def Constraints_add(syms: List[Symbol]): Boolean =
     rootContext.gadt.addToConstraint(syms)

library/src/scala/tasty/reflect/ExtractorsPrinter.scala

@@ -4,19 +4,19 @@ package reflect
 class ExtractorsPrinter[R <: Reflection & Singleton](val tasty: R) extends Printer[R] {
   import tasty._
 
-  def showTree(tree: Tree)(using ctx: Context): String =
+  def showTree(tree: Tree): String =
     new Buffer().visitTree(tree).result()
 
-  def showTypeOrBounds(tpe: TypeOrBounds)(using ctx: Context): String =
+  def showTypeOrBounds(tpe: TypeOrBounds): String =
     new Buffer().visitType(tpe).result()
 
-  def showConstant(const: Constant)(using ctx: Context): String =
+  def showConstant(const: Constant): String =
     new Buffer().visitConstant(const).result()
 
-  def showSymbol(symbol: Symbol)(using ctx: Context): String =
+  def showSymbol(symbol: Symbol): String =
     new Buffer().visitSymbol(symbol).result()
 
-  def showFlags(flags: Flags)(using ctx: Context): String = {
+  def showFlags(flags: Flags): String = {
     val flagList = List.newBuilder[String]
     if (flags.is(Flags.Abstract)) flagList += "Flags.Abstract"
     if (flags.is(Flags.Artifact)) flagList += "Flags.Artifact"
@@ -55,7 +55,7 @@ class ExtractorsPrinter[R <: Reflection & Singleton](val tasty: R) extends Print
     flagList.result().mkString(" | ")
   }
 
-  private class Buffer(using ctx: Context) { self =>
+  private class Buffer { self =>
 
     private val sb: StringBuilder = new StringBuilder
 

library/src/scala/tasty/reflect/Printer.scala

@@ -7,17 +7,17 @@ trait Printer[R <: Reflection & Singleton] {
   val tasty: R
 
   /** Show a String representation of a tasty.Tree */
-  def showTree(tree: tasty.Tree)(using ctx: tasty.Context): String
+  def showTree(tree: tasty.Tree): String
 
   /** Show a String representation of a tasty.TypeOrBounds */
-  def showTypeOrBounds(tpe: tasty.TypeOrBounds)(using ctx: tasty.Context): String
+  def showTypeOrBounds(tpe: tasty.TypeOrBounds): String
 
   /** Show a String representation of a tasty.Constant */
-  def showConstant(const: tasty.Constant)(using ctx: tasty.Context): String
+  def showConstant(const: tasty.Constant): String
 
   /** Show a String representation of a tasty.Symbol */
-  def showSymbol(symbol: tasty.Symbol)(using ctx: tasty.Context): String
+  def showSymbol(symbol: tasty.Symbol): String
 
   /** Show a String representation of a tasty.Flags */
-  def showFlags(flags: tasty.Flags)(using ctx: tasty.Context): String
+  def showFlags(flags: tasty.Flags): String
 }

library/src/scala/tasty/reflect/SourceCodePrinter.scala

@@ -9,19 +9,19 @@ class SourceCodePrinter[R <: Reflection & Singleton](val tasty: R)(syntaxHighlig
   import tasty._
   import syntaxHighlight._
 
-  def showTree(tree: Tree)(using ctx: Context): String =
+  def showTree(tree: Tree): String =
     (new Buffer).printTree(tree).result()
 
-  def showTypeOrBounds(tpe: TypeOrBounds)(using ctx: Context): String =
+  def showTypeOrBounds(tpe: TypeOrBounds): String =
     (new Buffer).printTypeOrBound(tpe)(using None).result()
 
-  def showConstant(const: Constant)(using ctx: Context): String =
+  def showConstant(const: Constant): String =
     (new Buffer).printConstant(const).result()
 
-  def showSymbol(symbol: Symbol)(using ctx: Context): String =
+  def showSymbol(symbol: Symbol): String =
     symbol.fullName
 
-  def showFlags(flags: Flags)(using ctx: Context): String = {
+  def showFlags(flags: Flags): String = {
     val flagList = List.newBuilder[String]
     if (flags.is(Flags.Abstract)) flagList += "abstract"
     if (flags.is(Flags.Artifact)) flagList += "artifact"
@@ -60,7 +60,7 @@ class SourceCodePrinter[R <: Reflection & Singleton](val tasty: R)(syntaxHighlig
     flagList.result().mkString("/*", " ", "*/")
   }
 
-  private class Buffer(using ctx: Context) {
+  private class Buffer {
 
     private[this] val sb: StringBuilder = new StringBuilder
 
@@ -1416,7 +1416,7 @@ class SourceCodePrinter[R <: Reflection & Singleton](val tasty: R)(syntaxHighlig
   private[this] val names = collection.mutable.Map.empty[Symbol, String]
   private[this] val namesIndex = collection.mutable.Map.empty[String, Int]
 
-  private def splicedName(sym: Symbol)(using ctx: Context): Option[String] = {
+  private def splicedName(sym: Symbol): Option[String] = {
     sym.annots.find(_.symbol.owner == Symbol.requiredClass("scala.internal.quoted.showName")).flatMap {
       case Apply(_, Literal(Constant(c: String)) :: Nil) => Some(c)
       case Apply(_, Inlined(_, _, Literal(Constant(c: String))) :: Nil) => Some(c)
@@ -1437,7 +1437,7 @@ class SourceCodePrinter[R <: Reflection & Singleton](val tasty: R)(syntaxHighlig
   }
 
   private object SpecialOp {
-    def unapply(arg: Tree)(using ctx: Context): Option[(String, List[Term])] = arg match {
+    def unapply(arg: Tree): Option[(String, List[Term])] = arg match {
       case arg @ Apply(fn, args) =>
         fn.tpe match {
           case tpe @ TermRef(ThisType(TypeRef(_, name)), name2) if name == "<special-ops>" =>
@@ -1449,7 +1449,7 @@ class SourceCodePrinter[R <: Reflection & Singleton](val tasty: R)(syntaxHighlig
   }
 
   private object Annotation {
-    def unapply(arg: Tree)(using ctx: Context): Option[(TypeTree, List[Term])] = arg match {
+    def unapply(arg: Tree): Option[(TypeTree, List[Term])] = arg match {
       case New(annot) => Some((annot, Nil))
       case Apply(Select(New(annot), "<init>"), args) => Some((annot, args))
       case Apply(TypeApply(Select(New(annot), "<init>"), targs), args) => Some((annot, args))
@@ -1461,7 +1461,7 @@ class SourceCodePrinter[R <: Reflection & Singleton](val tasty: R)(syntaxHighlig
   private object Types {
 
     object Sequence {
-      def unapply(tpe: Type)(using ctx: Context): Option[Type] = tpe match {
+      def unapply(tpe: Type): Option[Type] = tpe match {
         case AppliedType(seq, (tp: Type) :: Nil)
             if seq.typeSymbol == Symbol.requiredClass("scala.collection.Seq") || seq.typeSymbol == Symbol.requiredClass("scala.collection.immutable.Seq") =>
           Some(tp)
@@ -1470,7 +1470,7 @@ class SourceCodePrinter[R <: Reflection & Singleton](val tasty: R)(syntaxHighlig
     }
 
     object Repeated {
-      def unapply(tpe: Type)(using ctx: Context): Option[Type] = tpe match {
+      def unapply(tpe: Type): Option[Type] = tpe match {
         case AppliedType(rep, (tp: Type) :: Nil) if rep.typeSymbol == Symbol.requiredClass("scala.<repeated>") => Some(tp)
         case _ => None
       }
@@ -1479,7 +1479,7 @@ class SourceCodePrinter[R <: Reflection & Singleton](val tasty: R)(syntaxHighlig
   }
 
   object PackageObject {
-    def unapply(tree: Tree)(using ctx: Context): Option[Tree] = tree match {
+    def unapply(tree: Tree): Option[Tree] = tree match {
       case PackageClause(_, ValDef("package", _, _) :: body :: Nil) => Some(body)
       case _ => None
     }

tests/run-macros/tasty-custom-show/quoted_1.scala

@@ -41,11 +41,11 @@ object Macros {
     new scala.tasty.reflect.Printer {
       val tasty = qctx.tasty
       import qctx.tasty._
-      def showTree(tree: Tree)(implicit ctx: Context): String = "Tree"
-      def showTypeOrBounds(tpe: TypeOrBounds)(implicit ctx: Context): String = "TypeOrBounds"
-      def showConstant(const: Constant)(implicit ctx: Context): String = "Constant"
-      def showSymbol(symbol: Symbol)(implicit ctx: Context): String = "Symbol"
-      def showFlags(flags: Flags)(implicit ctx: Context): String = "Flags"
+      def showTree(tree: Tree): String = "Tree"
+      def showTypeOrBounds(tpe: TypeOrBounds): String = "TypeOrBounds"
+      def showConstant(const: Constant): String = "Constant"
+      def showSymbol(symbol: Symbol): String = "Symbol"
+      def showFlags(flags: Flags): String = "Flags"
     }
   }