Retype with QuotedPattern mode

Author: nicolasstucki

compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala

@@ -742,13 +742,13 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
         val spliceTypeText = (keywordStr("[") ~ toTextGlobal(tree.typeOpt) ~ keywordStr("]")).provided(printDebug && tree.typeOpt.exists)
         keywordStr("$") ~ spliceTypeText ~ keywordStr("{") ~ toTextGlobal(expr) ~ keywordStr("}")
       case tree @ QuotePattern(bindings, body, quotes) =>
-        // TODO print quotes for debugging
+        val quotesText = (keywordStr("<") ~ toText(quotes) ~ keywordStr(">")).provided(printDebug)
         val bindingsText = bindings.map(binding => {
           keywordStr("type ") ~ toText(binding.symbol.name) ~ toText(binding.symbol.info) ~ "; "
         }).reduceLeft(_ ~~ _).provided(bindings.nonEmpty)
         val open = if (body.isTerm) keywordStr("{") else keywordStr("[")
         val close = if (body.isTerm) keywordStr("}") else keywordStr("]")
-        keywordStr("'") ~ open ~ bindingsText ~ toTextGlobal(body) ~ close
+        keywordStr("'") ~ quotesText ~ open ~ bindingsText ~ toTextGlobal(body) ~ close
       case SplicePattern(pattern, args) =>
         val spliceTypeText = (keywordStr("[") ~ toTextGlobal(tree.typeOpt) ~ keywordStr("]")).provided(printDebug && tree.typeOpt.exists)
         keywordStr("$") ~ spliceTypeText ~ {

compiler/src/dotty/tools/dotc/typer/ReTyper.scala

@@ -114,7 +114,7 @@ class ReTyper(nestingLevel: Int = 0) extends Typer(nestingLevel) with ReChecking
   override def typedQuotePattern(tree: untpd.QuotePattern, pt: Type)(using Context): Tree =
     assertTyped(tree)
     val bindings1 = tree.bindings.map(typed(_))
-    val bodyCtx = quoteContext.retractMode(Mode.Pattern)//.addMode(Mode.QuotedPattern)
+    val bodyCtx = quoteContext.retractMode(Mode.Pattern).addMode(Mode.QuotedPattern)
     val body1 = typed(tree.body, tree.bodyType)(using bodyCtx)
     val quotes1 = typed(tree.quotes, defn.QuotesClass.typeRef)
     untpd.cpy.QuotePattern(tree)(bindings1, body1, quotes1).withType(tree.typeOpt)
@@ -126,7 +126,7 @@ class ReTyper(nestingLevel: Int = 0) extends Typer(nestingLevel) with ReChecking
     val patternTpe =
       if args1.isEmpty then tree.typeOpt
       else defn.FunctionType(args1.size).appliedTo(args1.map(_.tpe) :+ tree.typeOpt)
-    val bodyCtx = spliceContext.addMode(Mode.Pattern)
+    val bodyCtx = spliceContext.addMode(Mode.Pattern).retractMode(Mode.QuotedPattern)
     val body1 = typed(tree.body, defn.QuotedExprClass.typeRef.appliedTo(patternTpe))(using bodyCtx)
     val args = tree.args.mapconserve(typedExpr(_))
     untpd.cpy.SplicePattern(tree)(body1, args1).withType(tree.typeOpt)