Merge pull request #7019 from dotty-staging/upgrade/scalac-2.13

Switch to the 2.13 standard library

Author: smarter

.drone.yml

@@ -27,7 +27,7 @@ steps:
 
 - name: test
   pull: default
-  image: lampepfl/dotty:2019-04-22
+  image: lampepfl/dotty:2019-08-22
   depends_on: [ clone ]
   commands:
   - cp -R . /tmp/1/ && cd /tmp/1/
@@ -36,7 +36,7 @@ steps:
 
 - name: test_bootstrapped
   pull: default
-  image: lampepfl/dotty:2019-04-22
+  image: lampepfl/dotty:2019-08-22
   depends_on: [ clone ]
   commands:
   - cp -R . /tmp/2/ && cd /tmp/2/
@@ -45,7 +45,7 @@ steps:
 
 - name: community_build
   pull: default
-  image: lampepfl/dotty:2019-04-22
+  image: lampepfl/dotty:2019-08-22
   depends_on: [ clone ]
   commands:
   - cp -R . /tmp/3/ && cd /tmp/3/
@@ -54,7 +54,7 @@ steps:
 
 - name: test_sbt
   pull: default
-  image: lampepfl/dotty:2019-04-22
+  image: lampepfl/dotty:2019-08-22
   depends_on: [ clone ]
   commands:
   - cp -R . /tmp/4/ && cd /tmp/4/
@@ -66,7 +66,7 @@ steps:
 
 - name: test_java11
   pull: default
-  image: lampepfl/dotty:2019-04-22
+  image: lampepfl/dotty:2019-08-22
   depends_on: [ clone ]
   commands:
   - export PATH="/usr/lib/jvm/java-11-openjdk-amd64/bin:$PATH"
@@ -80,7 +80,7 @@ steps:
 
 - name: documentation
   pull: default
-  image: lampepfl/dotty:2019-04-22
+  image: lampepfl/dotty:2019-08-22
   depends_on:
   - test
   - test_bootstrapped
@@ -99,7 +99,7 @@ steps:
 
 - name: publish_nightly
   pull: default
-  image: lampepfl/dotty:2019-04-22
+  image: lampepfl/dotty:2019-08-22
   depends_on:
   - test
   - test_bootstrapped
@@ -126,7 +126,7 @@ steps:
 
 - name: publish_release
   pull: default
-  image: lampepfl/dotty:2019-04-22
+  image: lampepfl/dotty:2019-08-22
   depends_on:
   - test
   - test_bootstrapped
@@ -169,7 +169,7 @@ steps:
 
 - name: publish_sbt_release
   pull: default
-  image: lampepfl/dotty:2019-04-22
+  image: lampepfl/dotty:2019-08-22
   depends_on:
   - test
   - test_bootstrapped

.gitmodules

@@ -39,7 +39,7 @@
 	url = https://github.com/dotty-staging/sourcecode
 [submodule "community-build/community-projects/scala-xml"]
 	path = community-build/community-projects/scala-xml
-	url = https://github.com/scala/scala-xml
+	url = https://github.com/dotty-staging/scala-xml
 [submodule "community-build/community-projects/shapeless"]
 	path = community-build/community-projects/shapeless
 	url = https://github.com/milessabin/shapeless

bench/src/main/scala/Benchmarks.scala

@@ -13,7 +13,7 @@ import org.openjdk.jmh.results.format._
 import java.util.concurrent.TimeUnit
 
 import java.io.{File, FileOutputStream, BufferedWriter, FileWriter}
-import scala.collection.JavaConversions._
+import scala.collection.JavaConverters._
 import scala.io.Source
 
 object Bench {
@@ -86,7 +86,7 @@ class CompilerOptions {
 
   @Setup
   def prepare: Unit = {
-    opts = Bench.readCompileOptions.to[Array]
+    opts = Bench.readCompileOptions.toArray
   }
 }