Skip to content

Commit cccd8de

Browse files
authored
Merge pull request #10191 from dotty-staging/move-expr-map
Move ExprMap to scala.quoted
2 parents ef3acdb + 371fc0e commit cccd8de

File tree

6 files changed

+8
-10
lines changed

6 files changed

+8
-10
lines changed

library/src-bootstrapped/scala/quoted/util/ExprMap.scala renamed to library/src-bootstrapped/scala/quoted/ExprMap.scala

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,6 @@
1-
package scala.quoted.util
1+
package scala.quoted
22

3-
import scala.quoted._
4-
5-
trait ExprMap {
3+
trait ExprMap:
64

75
/** Map an expression `e` with a type `tpe` */
86
def transform[T](e: Expr[T])(using qctx: QuoteContext, tpe: Type[T]): Expr[T]
@@ -149,4 +147,4 @@ trait ExprMap {
149147
new MapChildren().transformTermChildren(e.unseal, tpe.unseal.tpe).asExprOf[T]
150148
}
151149

152-
}
150+
end ExprMap

tests/run-macros/expr-map-1/Macro_1.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ inline def rewrite[T](inline x: Any): Any = ${ stringRewriter('x) }
66
private def stringRewriter(e: Expr[Any])(using QuoteContext): Expr[Any] =
77
StringRewriter.transform(e)
88

9-
private object StringRewriter extends util.ExprMap {
9+
private object StringRewriter extends ExprMap {
1010

1111
def transform[T](e: Expr[T])(using QuoteContext, Type[T]): Expr[T] = e match
1212
case Const(s: String) =>

tests/run-macros/expr-map-2/Macro_1.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ inline def rewrite[T](inline x: Any): Any = ${ stringRewriter('x) }
66
private def stringRewriter(e: Expr[Any])(using QuoteContext): Expr[Any] =
77
StringRewriter.transform(e)
88

9-
private object StringRewriter extends util.ExprMap {
9+
private object StringRewriter extends ExprMap {
1010

1111
def transform[T](e: Expr[T])(using QuoteContext, Type[T]): Expr[T] = e match
1212
case '{ ($x: Foo).x } =>

tests/run-macros/flops-rewrite-2/Macro_1.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -63,7 +63,7 @@ private object Rewriter {
6363
new Rewriter(preTransform, postTransform, fixPoint)
6464
}
6565

66-
private class Rewriter(preTransform: List[Transformation[_]] = Nil, postTransform: List[Transformation[_]] = Nil, fixPoint: Boolean) extends util.ExprMap {
66+
private class Rewriter(preTransform: List[Transformation[_]] = Nil, postTransform: List[Transformation[_]] = Nil, fixPoint: Boolean) extends ExprMap {
6767
def transform[T](e: Expr[T])(using QuoteContext, Type[T]): Expr[T] = {
6868
val e2 = preTransform.foldLeft(e)((ei, transform) => transform(ei))
6969
val e3 = transformChildren(e2)

tests/run-macros/flops-rewrite-3/Macro_1.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -92,7 +92,7 @@ private object Rewriter {
9292
def apply(): Rewriter = new Rewriter(Nil, Nil, false)
9393
}
9494

95-
private class Rewriter private (preTransform: List[Transformation] = Nil, postTransform: List[Transformation] = Nil, fixPoint: Boolean) extends util.ExprMap {
95+
private class Rewriter private (preTransform: List[Transformation] = Nil, postTransform: List[Transformation] = Nil, fixPoint: Boolean) extends ExprMap {
9696

9797
def withFixPoint: Rewriter =
9898
new Rewriter(preTransform, postTransform, fixPoint = true)

tests/run-macros/flops-rewrite/Macro_1.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ private object Rewriter {
2828
new Rewriter(preTransform, postTransform, fixPoint)
2929
}
3030

31-
private class Rewriter(preTransform: Expr[Any] => Expr[Any], postTransform: Expr[Any] => Expr[Any], fixPoint: Boolean) extends util.ExprMap {
31+
private class Rewriter(preTransform: Expr[Any] => Expr[Any], postTransform: Expr[Any] => Expr[Any], fixPoint: Boolean) extends ExprMap {
3232
def transform[T](e: Expr[T])(using QuoteContext, Type[T]): Expr[T] = {
3333
val e2 = checkedTransform(e, preTransform)
3434
val e3 = transformChildren(e2)

0 commit comments

Comments
 (0)