Refactor quote parsing

Author: nicolasstucki

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -1732,9 +1732,6 @@ object Parsers {
         })
       else t
 
-    /** The block in a quote or splice */
-    def stagedBlock() = inBraces(block(simplify = true))
-
     /** TypeBlock ::= {TypeBlockStat semi} Type
      */
     def typeBlock(): Tree =
@@ -1747,7 +1744,7 @@ object Parsers {
       while in.token == TYPE do tdefs += typeBlockStat()
       tdefs.toList
 
-    /**  TypeBlockStat     ::=  ‘type’ {nl} TypeDcl
+    /**  TypeBlockStat ::= ‘type’ {nl} TypeDcl
      */
     def typeBlockStat(): Tree =
       val mods = defAnnotsMods(BitSet())
@@ -1756,6 +1753,20 @@ object Parsers {
       if in.isNewLine then in.nextToken()
       tdef
 
+    /** Quoted ::=  ‘'’ ‘{’ Block ‘}’
+     *           |  ‘'’ ‘[’ Type ‘]’
+     *           |  ‘'’ ‘[’ TypeBlock ‘]’
+     */
+    def quote(inPattern: Boolean): Tree =
+      atSpan(in.skipToken()) {
+        withinStaged(StageKind.Quoted | (if (inPattern) StageKind.QuotedPattern else 0)) {
+          val body =
+            if (in.token == LBRACKET) inBrackets(typeBlock())
+            else inBraces(block(simplify = true))
+          Quote(body)
+        }
+      }
+
     /** ExprSplice  ::=  ‘$’ spliceId          --     if inside quoted block
      *                |  ‘$’ ‘{’ Block ‘}’     -- unless inside quoted pattern
      *                |  ‘$’ ‘{’ Pattern ‘}’   --   when inside quoted pattern
@@ -1770,7 +1781,7 @@ object Parsers {
           if (in.name.length == 1) {
             in.nextToken()
             val inPattern = (staged & StageKind.QuotedPattern) != 0
-            withinStaged(StageKind.Spliced)(if (inPattern) inBraces(pattern()) else stagedBlock())
+            withinStaged(StageKind.Spliced)(inBraces(if (inPattern) pattern() else block(simplify = true)))
           }
           else atSpan(in.offset + 1) {
             val id = Ident(in.name.drop(1))
@@ -2514,14 +2525,7 @@ object Parsers {
           canApply = false
           blockExpr()
         case QUOTE =>
-          atSpan(in.skipToken()) {
-            withinStaged(StageKind.Quoted | (if (location.inPattern) StageKind.QuotedPattern else 0)) {
-              val body =
-                if (in.token == LBRACKET) inBrackets(typeBlock())
-                else stagedBlock()
-              Quote(body)
-            }
-          }
+          quote(location.inPattern)
         case NEW =>
           canApply = false
           newExpr()