udpate error message

scala · Aug 13, 2023 · dc7be2b · dc7be2b
1 parent f180e03
commit dc7be2b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/quoted/QuotePatterns.scala b/compiler/src/dotty/tools/dotc/quoted/QuotePatterns.scala
@@ -89,7 +89,7 @@ object QuotePatterns:
           for (typearg <- tree.typeargs) // case (1)
           do
             if !typevars.contains(typearg.symbol) then
-              report.error("Type arguments of a hoas pattern needs to be introduced in the quoted pattern", typearg.srcPos)
+              report.error("Type arguments of a hoas pattern needs to be defined inside the quoted pattern", typearg.srcPos)
           for (arg <- tree.args) // case (2)
           do
             if !uncapturedTypeVars(arg, tree.typeargs).isEmpty then