Merge pull request #8572 from dotty-staging/add-string-interpolator-macro-prototype

Add string interpolator `apply` macro prototype

Author: nicolasstucki

tests/run-macros/xml-interpolation-5/Macros_1.scala

@@ -0,0 +1,34 @@
+import scala.quoted._
+import scala.quoted.autolift
+
+import scala.language.implicitConversions
+
+case class Xml(parts: String, args: List[Any])
+
+object XmlQuote {
+
+  // Encoding for
+  //
+  // implicit class SCOps(s: StringContext) {
+  //   object xml {
+  //     def apply(exprs: Any*) = ...
+  //     def unapplySeq(...) = ...
+  //   }
+  // }
+  object SCOps {
+    opaque type StringContext = scala.StringContext
+    def apply(sc: scala.StringContext): StringContext = sc
+  }
+  inline def (inline ctx: StringContext).xml <: SCOps.StringContext = SCOps(ctx)
+  inline def (inline ctx: SCOps.StringContext).apply(inline args: Any*): Xml =
+    ${XmlQuote.impl('ctx, 'args)}
+  // inline def (inline ctx: SCOps.StringContext).unapplySeq(...): Xml = ...
+
+
+  def impl(receiver: Expr[SCOps.StringContext], args: Expr[Seq[Any]])(using QuoteContext): Expr[Xml] = {
+    val string = receiver match {
+      case '{ SCOps(${Unlifted(sc)}) } => sc.parts.mkString("??")
+    }
+    '{new Xml(${string}, $args.toList)}
+  }
+}

tests/run-macros/xml-interpolation-5/Test_2.scala

@@ -0,0 +1,11 @@
+import XmlQuote._
+
+object Test {
+  def main(args: Array[String]): Unit = {
+
+    assert(xml"Hello World!" == Xml("Hello World!", Nil))
+
+    val name = new Object{}
+    assert(xml"Hello $name!" == Xml("Hello ??!", List(name)))
+  }
+}

tests/run-macros/xml-interpolation-6/Macros_1.scala

@@ -0,0 +1,34 @@
+import scala.quoted._
+import scala.quoted.autolift
+
+import scala.language.implicitConversions
+
+case class Xml(parts: String, args: List[Any])
+
+object XmlQuote {
+
+  // Encoding for
+  //
+  // implicit class SCOps(s: StringContext) {
+  //   object xml {
+  //     def apply(exprs: Any*) = ...
+  //     def unapplySeq(...) = ...
+  //   }
+  // }
+  object SCOps {
+    opaque type StringContext = scala.StringContext
+    def apply(sc: scala.StringContext): StringContext = sc
+  }
+  inline def (inline ctx: StringContext).xml: SCOps.StringContext = SCOps(ctx)
+  inline def (inline ctx: SCOps.StringContext).apply(inline args: Any*): Xml =
+    ${XmlQuote.impl('ctx, 'args)}
+  // inline def (inline ctx: SCOps.StringContext).unapplySeq(...): Xml = ...
+
+
+  def impl(receiver: Expr[SCOps.StringContext], args: Expr[Seq[Any]])(using QuoteContext): Expr[Xml] = {
+    val string = receiver match {
+      case '{ SCOps(${Unlifted(sc)}): SCOps.StringContext } => sc.parts.mkString("??")
+    }
+    '{new Xml(${string}, $args.toList)}
+  }
+}

tests/run-macros/xml-interpolation-6/Test_2.scala

@@ -0,0 +1,11 @@
+import XmlQuote._
+
+object Test {
+  def main(args: Array[String]): Unit = {
+
+    assert(xml"Hello World!" == Xml("Hello World!", Nil))
+
+    val name = new Object{}
+    assert(xml"Hello $name!" == Xml("Hello ??!", List(name)))
+  }
+}

tests/run-macros/xml-interpolation-7/Macros_1.scala

@@ -0,0 +1,34 @@
+import scala.quoted._
+import scala.quoted.autolift
+
+import scala.language.implicitConversions
+
+case class Xml(parts: String, args: List[Any])
+
+object XmlQuote {
+
+  // Encoding for
+  //
+  // implicit class SCOps(s: StringContext) {
+  //   object xml {
+  //     def apply(exprs: Any*) = ...
+  //     def unapplySeq(...) = ...
+  //   }
+  // }
+  object XMLOps {
+    opaque type StringContext = scala.StringContext
+    def (ctx: scala.StringContext).xml: StringContext = ctx
+  }
+
+  inline def (inline ctx: XMLOps.StringContext).apply(inline args: Any*): Xml =
+    ${XmlQuote.impl('ctx, 'args)}
+  // inline def (inline ctx: SCOps.StringContext).unapplySeq(...): Xml = ...
+
+
+  def impl(receiver: Expr[XMLOps.StringContext], args: Expr[Seq[Any]])(using QuoteContext): Expr[Xml] = {
+    val string = receiver match {
+      case '{ XMLOps.xml(${Unlifted(sc)}) } => sc.parts.mkString("??")
+    }
+    '{new Xml(${string}, $args.toList)}
+  }
+}

tests/run-macros/xml-interpolation-7/Test_2.scala

@@ -0,0 +1,12 @@
+import XmlQuote._
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    import XMLOps.xml
+
+    assert(xml"Hello World!" == Xml("Hello World!", Nil))
+
+    val name = new Object{}
+    assert(xml"Hello $name!" == Xml("Hello ??!", List(name)))
+  }
+}