Add doc comments to the new mode InQuotePatternHoasArgs

scala · Jun 30, 2023 · e8ac1e9 · e8ac1e9
1 parent f9098a8
commit e8ac1e9
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/core/Mode.scala b/compiler/src/dotty/tools/dotc/core/Mode.scala
@@ -44,6 +44,12 @@ object Mode {
   /** Are we looking for cyclic references? */
   val CheckCyclic: Mode = newMode(5, "CheckCyclic")
 
+  /** We are in arguments of HOAS pattern in quote pattern matching
+   *  e.g. x, y, z in a quote pattern '{ ... $a(x, y, z) ... }
+   *
+   *  This mode keep typer from inserting contextual parameters to a contextual method without arguments.
+   *  (See tests/run-macros/i17905 for motivating examples)
+   */
   val InQuotePatternHoasArgs: Mode = newMode(6, "InQuotePatternHoasArgs")
 
   /** We are in a pattern alternative */