Remove collection-strawman submodule and tests

.gitmodules

@@ -6,7 +6,3 @@
 	path = scala2-library
 	url = https://github.com/lampepfl/scala.git
 	branch = dotty-library2.12
-[submodule "collection-strawman"]
-	path = collection-strawman
-	url = https://github.com/dotty-staging/collection-strawman.git
-	branch = dotty

community-build/dotty-bootstrapped.version

@@ -0,0 +1 @@
+0.13.0-bin-SNAPSHOT

community-build/sbt-dotty.sbt

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

compiler/test/dotty/tools/dotc/CompilationTests.scala

@@ -63,7 +63,6 @@ class CompilationTests extends ParallelTesting {
       ),
       scala2Mode
     ) +
-    compileDir("collection-strawman/collections/src/main", defaultOptions.and("-Yno-imports")) +
     compileFilesInDir("tests/pos-special/spec-t5545", defaultOptions) +
     compileFilesInDir("tests/pos-special/strawman-collections", defaultOptions) +
     compileFilesInDir("tests/pos-special/isInstanceOf", allowDeepSubtypes.and("-Xfatal-warnings")) +

compiler/test/dotty/tools/dotc/IdempotencyTests.scala

@@ -32,9 +32,6 @@ class IdempotencyTests extends ParallelTesting {
 
     def sourcesFrom(dir: Path) = CompilationTests.sources(Files.walk(dir))
 
-    val strawmanSources = sourcesFrom(Paths.get("collection-strawman/collections/src/main"))
-    val strawmanSourcesSorted = strawmanSources.sorted
-    val strawmanSourcesRevSorted = strawmanSourcesSorted.reverse
 
     val posIdempotency = {
       compileFilesInDir("tests/pos", opt)(TestGroup("idempotency/posIdempotency1")) +
@@ -51,13 +48,6 @@ class IdempotencyTests extends ParallelTesting {
       }).reduce(_ + _)
     }
 
-    val strawmanIdempotency = {
-      compileList("strawman0", strawmanSources, opt) +
-      compileList("strawman1", strawmanSources, opt) +
-      compileList("strawman2", strawmanSourcesSorted, opt) +
-      compileList("strawman3", strawmanSourcesRevSorted, opt)
-    }
-
     def check(name: String) = {
       val files = List(s"tests/idempotency/$name.scala", "tests/idempotency/IdempotencyCheck.scala")
       compileList(name, files, defaultOptions)(TestGroup("idempotency/check"))
@@ -70,8 +60,6 @@ class IdempotencyTests extends ParallelTesting {
     }
 
     val allTests = {
-      // Disabled until strawman is fixed
-      // strawmanIdempotency +
       orderIdempotency +
       posIdempotency
     }

project/Build.scala

@@ -162,7 +162,7 @@ object Build {
       }
 
       // Make sure all submodules are properly cloned
-      val submodules = List("scala-backend", "scala2-library", "collection-strawman")
+      val submodules = List("scala-backend", "scala2-library")
       if (!submodules.forall(exists)) {
         sLog.value.log(Level.Error,
           s"""Missing some of the submodules