Add variant of let with custom name

Author: nicolasstucki

compiler/src/dotty/tools/dotc/quoted/QuoteContextImpl.scala

@@ -707,8 +707,10 @@ class QuoteContextImpl private (ctx: Context) extends QuoteContext:
       def unapply(x: Block): Option[(List[Statement], Term)] =
         Some((x.statements, x.expr))
 
-      def let(rhs: Term)(body: Ident => Term): Term =
-        let(List(rhs))(x => body(x.head))
+      def let(name: String, rhs: Term)(body: Ident => Term): Term =
+        val vdef = tpd.SyntheticValDef(name.toTermName, rhs)
+        val ref = tpd.ref(vdef.symbol).asInstanceOf[Ident]
+        Block(List(vdef), body(ref))
 
       def let(terms: List[Term])(body: List[Ident] => Term): Term =
         val vdefs = terms.map(term => tpd.SyntheticValDef("x".toTermName, term))

library/src/scala/tasty/Reflection.scala

@@ -818,16 +818,19 @@ trait Reflection { reflection =>
     /** Creates a block `{ <statements: List[Statement]>; <expr: Term> }` */
     def apply(stats: List[Statement], expr: Term): Block
 
-    /** Creates a block `{ val x = <rhs: Term>; <body(x): Term> }` */
-    def let(rhs: Term)(body: Ident => Term): Term
-
-    /** Creates a block `{ val x1 = <terms(0): Term>; ...; val xn = <terms(n-1): Term>; <body(List(x1, ..., xn)): Term> }` */
-    def let(terms: List[Term])(body: List[Ident] => Term): Term
-
     def copy(original: Tree)(stats: List[Statement], expr: Term): Block
 
     /** Matches a block `{ <statements: List[Statement]>; <expr: Term> }` */
     def unapply(x: Block): Option[(List[Statement], Term)]
+
+    /** Creates a block `{ val <name> = <rhs: Term>; <body(x): Term> }` */
+    def let(name: String, rhs: Term)(body: Ident => Term): Term
+
+    /** Creates a block `{ val x = <rhs: Term>; <body(x): Term> }` */
+    def let(rhs: Term)(body: Ident => Term): Term = let("x", rhs)(body)
+
+    /** Creates a block `{ val x1 = <terms(0): Term>; ...; val xn = <terms(n-1): Term>; <body(List(x1, ..., xn)): Term> }` */
+    def let(terms: List[Term])(body: List[Ident] => Term): Term
   }
 
   given BlockMethods as BlockMethods = BlockMethodsImpl