From dc7be2bf3e12e91f0b28afd29db2f48012b2e2f0 Mon Sep 17 00:00:00 2001 From: Yuito Murase Date: Sun, 13 Aug 2023 19:02:18 +0900 Subject: [PATCH] udpate error message --- compiler/src/dotty/tools/dotc/quoted/QuotePatterns.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/src/dotty/tools/dotc/quoted/QuotePatterns.scala b/compiler/src/dotty/tools/dotc/quoted/QuotePatterns.scala index 66085a21e93c..ed5437649093 100644 --- 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