wip

Author: nicolasstucki

compiler/src/dotty/tools/dotc/transform/ReifyQuotes.scala

@@ -83,7 +83,7 @@ class ReifyQuotes extends MacroTransformWithImplicits {
     if (ctx.compilationUnit.needsStaging) super.run
 
   protected def newTransformer(implicit ctx: Context): Transformer =
-    new Reifier(inQuote = false, null, 0, new LevelInfo, new Embedded, ctx)
+    new Reifier(inQuote = false, null, new LevelInfo, new Embedded, ctx)
 
   private class LevelInfo {
     /** A map from locally defined symbols to the staging levels of their definitions */
@@ -115,14 +115,14 @@ class ReifyQuotes extends MacroTransformWithImplicits {
    *  @param  embedded   a list of embedded quotes (if `inSplice = true`) or splices (if `inQuote = true`
    *  @param  rctx       the contex in the destination lifted lambda
    */
-  private class Reifier(inQuote: Boolean, val outer: Reifier, val level: Int, levels: LevelInfo,
+  private class Reifier(inQuote: Boolean, val outer: Reifier, levels: LevelInfo,
                         val embedded: Embedded, val rctx: Context) extends ImplicitsTransformer {
     import levels._
 
     /** A nested reifier for a quote (if `isQuote = true`) or a splice (if not) */
     def nested(isQuote: Boolean)(implicit ctx: Context): Reifier = {
       val nestedEmbedded = if (quotationLevel > 1 || (quotationLevel == 1 && isQuote)) embedded else new Embedded
-      new Reifier(isQuote, this, if (isQuote) quotationLevel + 1 else quotationLevel - 1, levels, nestedEmbedded, ctx)
+      new Reifier(isQuote, this, levels, nestedEmbedded, ctx)
     }
 
     /** We are not in a `~(...)` or a `'(...)` */