Add show on Tasty.Pattern

Author: nicolasstucki

compiler/src/dotty/tools/dotc/tastyreflect/TastyImpl.scala

@@ -448,9 +448,10 @@ object TastyImpl extends scala.tasty.Tasty {
 
   type Pattern = tpd.Tree
 
-  def PatternDeco(x: Pattern): AbstractPattern = new AbstractPattern {
-    def pos(implicit ctx: Context): Position = x.pos
-    def tpe(implicit ctx: Context): Types.Type = x.tpe.stripTypeVar
+  def PatternDeco(pattern: Pattern): AbstractPattern = new AbstractPattern {
+    def show(implicit ctx: Context, s: Show[TastyImpl.this.type]): String = s.showPattern(pattern)
+    def pos(implicit ctx: Context): Position = pattern.pos
+    def tpe(implicit ctx: Context): Types.Type = pattern.tpe.stripTypeVar
   }
 
   def patternClassTag: ClassTag[Pattern] = implicitly[ClassTag[Pattern]]

library/src/scala/tasty/Tasty.scala

@@ -314,7 +314,9 @@ abstract class Tasty { tasty =>
 
   type Pattern
 
-  trait AbstractPattern extends Typed with Positioned
+  trait AbstractPattern extends Typed with Positioned {
+    def show(implicit ctx: Context, s: Show[tasty.type]): String
+  }
   implicit def PatternDeco(x: Pattern): AbstractPattern
 
   implicit def patternClassTag: ClassTag[Pattern]

library/src/scala/tasty/util/Show.scala

@@ -6,6 +6,8 @@ abstract class Show[T <: Tasty with Singleton](val tasty: T) {
 
   def showTree(tree: tasty.Tree)(implicit ctx: tasty.Context): String
 
+  def showPattern(pattern: tasty.Pattern)(implicit ctx: tasty.Context): String
+
   def showTypeOrBoundsTree(tpt: tasty.TypeOrBoundsTree)(implicit ctx: tasty.Context): String
 
   def showTypeOrBounds(tpe: tasty.TypeOrBounds)(implicit ctx: tasty.Context): String

library/src/scala/tasty/util/ShowExtractors.scala

@@ -8,6 +8,9 @@ class ShowExtractors[T <: Tasty with Singleton](tasty0: T) extends Show[T](tasty
   def showTree(tree: Tree)(implicit ctx: Context): String =
     new Buffer().visitTree(tree).result()
 
+  def showPattern(pattern: tasty.Pattern)(implicit ctx: tasty.Context): String =
+    new Buffer().visitPattern(pattern).result()
+
   def showTypeOrBoundsTree(tpt: TypeOrBoundsTree)(implicit ctx: Context): String =
     new Buffer().visitTypeTree(tpt).result()
 

library/src/scala/tasty/util/ShowSourceCode.scala

@@ -7,6 +7,9 @@ class ShowSourceCode[T <: Tasty with Singleton](tasty0: T) extends Show[T](tasty
   def showTree(tree: Tree)(implicit ctx: Context): String =
     (new Buffer).printTree(tree).result()
 
+  def showPattern(pattern: Pattern)(implicit ctx: Context): String =
+    (new Buffer).printPattern(pattern).result()
+
   def showTypeOrBoundsTree(tpt: TypeOrBoundsTree)(implicit ctx: Context): String =
     (new Buffer).printTypeOrBoundsTree(tpt).result()