Upgrade to sbt 1.1.5 and scala 2.12.6

We can now enable the compiler plugin test

Author: allanrenucci

project/Build.scala

@@ -33,7 +33,7 @@ object ExposedValues extends AutoPlugin {
 object Build {
 
   val baseVersion = "0.9.0"
-  val scalacVersion = "2.12.4"
+  val scalacVersion = "2.12.6"
 
   val dottyOrganization = "ch.epfl.lamp"
   val dottyGithubUrl = "https://github.com/lampepfl/dotty"
@@ -866,7 +866,7 @@ object Build {
     settings(commonSettings).
     settings(
       version := {
-        val base = "0.2.2"
+        val base = "0.2.3"
         if (isRelease) base else base + "-SNAPSHOT"
       },
 

project/build.properties

@@ -1 +1 @@
-sbt.version=1.1.4
+sbt.version=1.1.5

sbt-dotty/sbt-test/sbt-dotty/compiler-plugin/src/main/scala/hello/Hello.scala renamed to sbt-dotty/sbt-test/sbt-dotty/compiler-plugin/app/src/main/scala/hello/Hello.scala

@@ -1,4 +1,5 @@
 package hello
+
 object Hello {
   def main(args: Array[String]): Unit = {
     val dotty: Int | String = "dotty"

sbt-dotty/sbt-test/sbt-dotty/compiler-plugin/build.sbt

@@ -1,19 +1,24 @@
 lazy val dottyVersion = sys.props("plugin.scalaVersion")
 
-lazy val pluginSetting = Seq(
-  name := "dividezero",
-  version := "0.0.1",
-  organization := "ch.epfl.lamp",
-  scalaVersion := dottyVersion,
+lazy val plugin = project
+  .in(file("plugin"))
+  .settings(
+    name := "dividezero",
+    version := "0.0.1",
+    organization := "ch.epfl.lamp",
+    scalaVersion := dottyVersion,
 
-  libraryDependencies ++= Seq(
-    "ch.epfl.lamp" %% "dotty" % scalaVersion.value % "provided"
-  )
-)
+    scalacOptions ++= Seq(
+      "-language:implicitConversions"
+    ),
 
-lazy val plugin = (project in file("plugin")).settings(pluginSetting: _*)
+    libraryDependencies ++= Seq(
+      "ch.epfl.lamp" %% "dotty-compiler" % scalaVersion.value % "provided"
+    )
+  )
 
-lazy val app = (project in file(".")).settings(
-  scalaVersion := dottyVersion,
-  libraryDependencies += compilerPlugin("ch.epfl.lamp" %% "dividezero" % "0.0.1")
-)
+lazy val app = project
+  .in(file("app"))
+  .settings(
+    scalaVersion := dottyVersion
+  )

sbt-dotty/sbt-test/sbt-dotty/compiler-plugin/changes/build.sbt

@@ -0,0 +1,21 @@
+lazy val dottyVersion = sys.props("plugin.scalaVersion")
+
+lazy val plugin = project
+  .in(file("plugin"))
+  .settings(
+    name := "dividezero",
+    version := "0.0.1",
+    organization := "ch.epfl.lamp",
+    scalaVersion := dottyVersion,
+
+    libraryDependencies ++= Seq(
+      "ch.epfl.lamp" %% "dotty" % scalaVersion.value % "provided"
+    )
+  )
+
+lazy val app = project
+  .in(file("app"))
+  .settings(
+    scalaVersion := dottyVersion,
+    addCompilerPlugin("ch.epfl.lamp" %% "dividezero" % "0.0.1")
+  )

sbt-dotty/sbt-test/sbt-dotty/compiler-plugin/pending

@@ -12,14 +12,15 @@ import Symbols.Symbol
 import Constants.Constant
 import transform.{LinkAll, Pickler}
 
+/** Compiler plugin that emits an error when compiling a division by zero */
 class DivideZero extends PluginPhase with StandardPlugin {
   val name: String = "divideZero"
   override val description: String = "divide zero check"
 
   val phaseName = name
 
-  override val runsAfter = Set(Pickler.phaseName)
-  override val runsBefore = Set(LinkAll.phaseName)
+  override val runsAfter = Set(Pickler.name)
+  override val runsBefore = Set(LinkAll.name)
 
   override def init(options: List[String]): List[PluginPhase] = this :: Nil
 
@@ -32,9 +33,9 @@ class DivideZero extends PluginPhase with StandardPlugin {
 
   override def transformApply(tree: tpd.Apply)(implicit ctx: Context): tpd.Tree = tree match {
     case tpd.Apply(fun, tpd.Literal(Constants.Constant(v)) :: Nil) if isNumericDivide(fun.symbol) && v == 0 =>
-      ctx.warning("divide by zero", tree.pos)
+      ctx.error("divide by zero", tree.pos)
       tpd.Literal(Constant(0))
     case _ =>
       tree
   }
-}
+}

sbt-dotty/sbt-test/sbt-dotty/compiler-plugin/plugin/DivideZero.scala

@@ -1 +1 @@
-pluginClass=dividezero.DivideZero
+pluginClass=dividezero.DivideZero

sbt-dotty/sbt-test/sbt-dotty/compiler-plugin/plugin/src/main/resources/plugin.properties

@@ -0,0 +1,13 @@
+# Should compile OK without the plugin
+> app/compile
+
+# Publish plugin locally
+> plugin/publishLocal
+
+# Enable plugin
+$ copy-file changes/build.sbt build.sbt
+> reload
+
+# Should NOT compile with the plugin
+> clean
+-> app/compile