Skip to content

Commit 315cbde

Browse files
committed
Remove old higher-order hole matcher logic
1 parent 75d8ba9 commit 315cbde

File tree

1 file changed

+0
-21
lines changed

1 file changed

+0
-21
lines changed

library/src/scala/internal/quoted/Matcher.scala

Lines changed: 0 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -264,27 +264,6 @@ object Matcher {
264264
scrutinee.tpe <:< tpt.tpe =>
265265
matched(scrutinee.seal)
266266

267-
/* Higher order term hole */
268-
// Matches an open term and wraps it into a lambda that provides the free variables
269-
// DEPRECATED: replaced with `higherOrderHole`
270-
// TODO: remove case
271-
case (scrutinee, pattern @ Apply(Select(TypeApply(patternHole, List(Inferred())), "apply"), args0 @ IdentArgs(args)))
272-
if patternHole.symbol == internal.Definitions_InternalQuotedMatcher_patternHole =>
273-
def bodyFn(lambdaArgs: List[Tree]): Tree = {
274-
val argsMap = args.map(_.symbol).zip(lambdaArgs.asInstanceOf[List[Term]]).toMap
275-
new TreeMap {
276-
override def transformTerm(tree: Term)(using ctx: Context): Term =
277-
tree match
278-
case tree: Ident => summon[Env].get(tree.symbol).flatMap(argsMap.get).getOrElse(tree)
279-
case tree => super.transformTerm(tree)
280-
}.transformTree(scrutinee)
281-
}
282-
val names = args.map(_.name)
283-
val argTypes = args0.map(x => x.tpe.widenTermRefExpr)
284-
val resType = pattern.tpe
285-
val res = Lambda(MethodType(names)(_ => argTypes, _ => resType), bodyFn)
286-
matched(res.seal)
287-
288267
/* Higher order term hole */
289268
// Matches an open term and wraps it into a lambda that provides the free variables
290269
case (scrutinee, pattern @ Apply(TypeApply(Ident("higherOrderHole"), List(Inferred())), Repeated(args, _) :: Nil))

0 commit comments

Comments
 (0)