diff options
author | Nicolas Stucki <nicolas.stucki@gmail.com> | 2016-06-30 14:47:54 +0200 |
---|---|---|
committer | Nicolas Stucki <nicolas.stucki@gmail.com> | 2016-07-15 14:02:29 +0200 |
commit | f359953e0437c0b9b2205bf30c53c6206c6c0249 (patch) | |
tree | 2b49d9ead3bb6441fec62d8170845f37b4bff833 /project | |
parent | 409c6c30c8496529aace68967acccf88850145da (diff) | |
download | dotty-f359953e0437c0b9b2205bf30c53c6206c6c0249.tar.gz dotty-f359953e0437c0b9b2205bf30c53c6206c6c0249.tar.bz2 dotty-f359953e0437c0b9b2205bf30c53c6206c6c0249.zip |
Fix #1312: Improve Xprint
* Do not reprint a tree that has not changed.
* Highlight changes with yellow and insertions in green.
* -Xprint-diff-del: Inserts the deleted parts of the tree in red
and the parts that where changed in magenta.
Diffstat (limited to 'project')
-rw-r--r-- | project/Build.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/project/Build.scala b/project/Build.scala index b53cf1081..f57c30e7d 100644 --- a/project/Build.scala +++ b/project/Build.scala @@ -100,6 +100,7 @@ object DottyBuild extends Build { "org.scala-lang.modules" %% "scala-partest" % "1.0.11" % "test", "com.novocode" % "junit-interface" % "0.11" % "test", "jline" % "jline" % "2.12", + "com.googlecode.java-diff-utils" % "diffutils" % "1.3.0", "com.typesafe.sbt" % "sbt-interface" % sbtVersion.value), // enable improved incremental compilation algorithm incOptions := incOptions.value.withNameHashing(true), |