Initial commit

Author: allanrenucci

.gitignore

@@ -0,0 +1,35 @@
+*.class
+*.log
+
+# sbt specific
+.cache
+.history
+.lib/
+dist/*
+target/
+lib_managed/
+src_managed/
+project/boot/
+project/plugins/project/
+
+# Scala-IDE specific
+.scala_dependencies
+.worksheet
+
+# IntelliJ specific
+.idea
+
+# ENSIME specific
+.ensime_cache/
+.ensime
+
+# macOS specific
+.DS_Store
+
+# Dotty IDE
+/.dotty-ide-dev-port
+/.dotty-ide-artifact
+/.dotty-ide.json
+
+# VS Code
+.vscode/

LICENSE

@@ -0,0 +1,29 @@
+BSD 3-Clause License
+
+Copyright (c) 2018, Allan Renucci
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+* Redistributions of source code must retain the above copyright notice, this
+  list of conditions and the following disclaimer.
+
+* Redistributions in binary form must reproduce the above copyright notice,
+  this list of conditions and the following disclaimer in the documentation
+  and/or other materials provided with the distribution.
+
+* Neither the name of the copyright holder nor the names of its
+  contributors may be used to endorse or promote products derived from
+  this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

README.md

@@ -0,0 +1,2 @@
+# jsx-interpolator
+A JSX string interpolator built on top of Dotty macros

build.sbt

@@ -0,0 +1,18 @@
+val dottyVersion = "0.10.0-bin-20180914-0a2734b-NIGHTLY"
+
+lazy val root = project
+  .in(file("."))
+  .settings(
+    name := "jsx-interpolator",
+    version := "0.1.0",
+    scalaVersion := dottyVersion,
+    scalacOptions ++= Seq(
+      "-feature",
+      "-deprecation",
+      "-unchecked",
+      "-Xfatal-warnings",
+      "-encoding", "UTF8",
+      "-language:implicitConversions"
+    ),
+    libraryDependencies += "com.novocode" % "junit-interface" % "0.11" % Test
+  )

project/build.properties

@@ -0,0 +1 @@
+sbt.version=1.2.3

project/plugins.sbt

@@ -0,0 +1 @@
+addSbtPlugin("ch.epfl.lamp" % "sbt-dotty" % "0.2.2")

src/main/scala/jsx/Jsx.scala

@@ -0,0 +1,5 @@
+package jsx
+
+object Jsx {
+  case class Repr(parts: String, arg: Any)
+}

src/main/scala/jsx/JsxQuote.scala

@@ -0,0 +1,14 @@
+package jsx
+
+import scala.quoted._
+
+// Ideally should be an implicit class but the implicit conversion
+// has to be a rewrite method
+class JsxQuote(ctx: => StringContext) {
+  rewrite def jsx(args: => Any*): Jsx.Repr = ~Macros.quoteImpl('(ctx), '(args))
+}
+
+object JsxQuote {
+  implicit rewrite def JsxQuote(ctx: => StringContext): JsxQuote =
+    new JsxQuote(ctx)
+}

src/main/scala/jsx/Macros.scala

@@ -0,0 +1,47 @@
+package jsx
+
+import scala.quoted._
+import scala.tasty.Tasty
+
+object Macros {
+  def quoteImpl(ctx: Expr[StringContext], args: Expr[Seq[Any]])
+               (implicit tasty: Tasty): Expr[Jsx.Repr] = {
+    import tasty._
+    import Term._
+
+    // for debugging purpose
+    def pp(tree: Tree): Unit = {
+      println(tasty.showSourceCode.showTree(tree))
+    }
+
+    def isStringConstant(tree: Term) = tree match {
+      case Literal(_) => true
+      case _ => false
+    }
+
+    // _root_.scala.StringContext.apply(("p0", "p1": scala.<repeated>[scala#Predef.String]))
+    val parts = ctx.toTasty match {
+      case Inlined(_, _,
+        Apply(
+          Select(Select(Select(Ident("_root_"), "scala", _), "StringContext", _), "apply", _),
+          List(Typed(Repeated(values), _)))) if values.forall(isStringConstant) =>
+        values.collect { case Literal(Constant.String(value)) => value }
+      case _ =>
+        ???
+    }
+
+    // (a0, a1: scala.<repeated>[scala.Any])
+    val args0: List[Term] = args.toTasty match {
+      case Inlined(_, _, Typed(Repeated(values), _)) =>
+        values
+      case _ =>
+        ???
+    }
+
+    val string = parts.mkString("??")
+    // first one for test purpose
+    val arg0 = args0.head.toExpr[Any]
+
+    '(new Jsx.Repr(~string.toExpr, ~arg0))
+  }
+}

src/test/scala/jsx/JsxQuoteTest.scala

@@ -0,0 +1,14 @@
+package jsx
+
+import org.junit.Test
+import org.junit.Assert._
+
+import JsxQuote._
+
+class JsxQuoteTest {
+  @Test
+  def test(): Unit = {
+    val name = new Object{}
+    assertEquals(Jsx.Repr("Hello ??!", name), jsx"Hello $name!")
+  }
+}