Fix tests

Author: odersky

compiler/src/dotty/tools/repl/ReplCompiler.scala

@@ -276,7 +276,7 @@ class ReplCompiler extends Compiler {
     val src = SourceFile.virtual("<typecheck>", expr)
     implicit val ctx: Context = state.context.fresh
       .setReporter(newStoreReporter)
-      .setSetting(state.context.settings.YstopAfter, List("frontend"))
+      .setSetting(state.context.settings.YstopAfter, List("typer"))
 
     wrapped(expr, src, state).flatMap { pkg =>
       val unit = CompilationUnit(src)

compiler/test/dotty/tools/DottyTest.scala

@@ -77,7 +77,7 @@ trait DottyTest extends ContextEscapeDetection {
     val dummyName = "x_x_x"
     val vals = typeStringss.flatten.zipWithIndex.map{case (s, x)=> s"val ${dummyName}$x: $s = ???"}.mkString("\n")
     val gatheredSource = s" ${source}\n object A$dummyName {$vals}"
-    checkCompile("frontend", gatheredSource) {
+    checkCompile("typer", gatheredSource) {
       (tree, context) =>
         implicit val ctx = context
         val findValDef: (List[tpd.ValDef], tpd.Tree) => List[tpd.ValDef] =

compiler/test/dotty/tools/DottyTypeStealer.scala

@@ -14,7 +14,7 @@ object DottyTypeStealer extends DottyTest {
     val gatheredSource = s" ${source}\n object A$dummyName {$vals}"
     var scontext : Context = null
     var tp: List[Type] = null
-    checkCompile("frontend", gatheredSource) {
+    checkCompile("typer", gatheredSource) {
       (tree, context) =>
         implicit val ctx = context
         val findValDef: (List[ValDef], tpd.Tree) => List[ValDef] =

compiler/test/dotty/tools/dotc/ast/AttachmentsTest.scala

@@ -16,7 +16,7 @@ class AttachmentsTests extends DottyTest {
 
   @Test
   def attachmentsAreNotCopiedOver: Unit = {
-    checkCompile("frontend", "class A") {
+    checkCompile("typer", "class A") {
       case (PackageDef(_, (clazz: tpd.TypeDef) :: Nil), context) =>
         assertTrue("Attachment shouldn't be present", clazz.getAttachment(TestKey).isEmpty)
 
@@ -35,7 +35,7 @@ class AttachmentsTests extends DottyTest {
 
   @Test
   def stickyAttachmentsAreCopiedOver: Unit = {
-    checkCompile("frontend", "class A") {
+    checkCompile("typer", "class A") {
       case (PackageDef(_, (clazz: tpd.TypeDef) :: Nil), context) =>
         assertTrue("Attachment shouldn't be present", clazz.getAttachment(StickyTestKey).isEmpty)
         assertTrue("Attachment shouldn't be present", clazz.getAttachment(StickyTestKey2).isEmpty)

compiler/test/dotty/tools/dotc/ast/DesugarTests.scala

@@ -22,7 +22,7 @@ class DesugarTests extends DottyTest {
   }
 
   @Test def caseClassHasCorrectMembers: Unit =
-    checkCompile("frontend", "case class Foo(x: Int, y: String)") { (tree, context) =>
+    checkCompile("typer", "case class Foo(x: Int, y: String)") { (tree, context) =>
       implicit val ctx = context
       val ccTree = tree.find(tree => tree.symbol.name == typeName("Foo")).get
       val List(_, foo) = defPath(ccTree.symbol, tree).map(_.symbol.info)
@@ -37,7 +37,7 @@ class DesugarTests extends DottyTest {
     }
 
   @Test def caseClassCompanionHasCorrectMembers: Unit =
-    checkCompile("frontend", "case class Foo(x: Int, y: String)") { (tree, context) =>
+    checkCompile("typer", "case class Foo(x: Int, y: String)") { (tree, context) =>
       implicit val ctx = context
       val ccTree = tree.find(tree => tree.symbol.name == termName("Foo")).get
       val List(_, foo) = defPath(ccTree.symbol, tree).map(_.symbol.info)

compiler/test/dotty/tools/dotc/ast/TreeInfoTest.scala

@@ -14,7 +14,7 @@ class TreeInfoTest extends DottyTest {
   import tpd._
 
   @Test
-  def testDefPath: Unit = checkCompile("frontend", "class A { def bar = { val x = { val z = 0; 0} }} ") {
+  def testDefPath: Unit = checkCompile("typer", "class A { def bar = { val x = { val z = 0; 0} }} ") {
     (tree, context) =>
       implicit val ctx = context
       val xTree = tree.find(tree => tree.symbol.name == termName("x")).get

compiler/test/dotty/tools/dotc/parsing/DocstringTest.scala

@@ -25,7 +25,7 @@ trait DocstringTest extends DottyTest {
   }
 
   def checkFrontend(source: String)(docAssert: PartialFunction[Tree[Untyped], Unit]): Unit = {
-    checkCompile("frontend", source) { (_, ctx) =>
+    checkCompile("typer", source) { (_, ctx) =>
       implicit val c: Context = ctx
       (docAssert orElse defaultAssertion)(ctx.compilationUnit.untpdTree)
     }

compiler/test/dotty/tools/dotc/parsing/DocstringTests.scala

@@ -61,7 +61,7 @@ class DocstringTests extends DocstringTest {
       |class Class2(val x: String)
       """.stripMargin
 
-    checkCompile("frontend", source) { (_, ctx) =>
+    checkCompile("typer", source) { (_, ctx) =>
       ctx.compilationUnit.untpdTree match {
         case PackageDef(_, Seq(c1 @ TypeDef(_,_), c2 @ TypeDef(_,_))) => {
           checkDocString(c1.rawComment.map(_.raw), "/** Class1 docstring */")

compiler/test/dotty/tools/dotc/printing/PrinterTests.scala

@@ -25,7 +25,7 @@ class PrinterTests extends DottyTest {
       }
     """
 
-    checkCompile("frontend", source) { (tree, context) =>
+    checkCompile("typer", source) { (tree, context) =>
       implicit val ctx = context
       val bar = tree.find(tree => tree.symbol.name == termName("bar")).get
       assertEquals("package object foo", bar.symbol.owner.show)
@@ -42,7 +42,7 @@ class PrinterTests extends DottyTest {
       |}
     """.stripMargin
 
-    checkCompile("frontend", source) { (tree, context) =>
+    checkCompile("typer", source) { (tree, context) =>
       implicit val ctx = context
       val bar @ Trees.DefDef(_, _, _, _, _) = tree.find(tree => tree.symbol.name == termName("bar2")).get
       assertEquals("Int & (Boolean | String)", bar.tpt.show)

compiler/test/dotty/tools/dotc/reporting/ErrorMessagesTests.scala

@@ -1366,7 +1366,7 @@ class ErrorMessagesTests extends ErrorMessagesTest {
       }
 
   @Test def unapplyInvalidReturnType =
-    checkMessagesAfter("frontend") {
+    checkMessagesAfter("typer") {
       """
         |class A(val i: Int)
         |
@@ -1386,7 +1386,7 @@ class ErrorMessagesTests extends ErrorMessagesTest {
     }
 
   @Test def unapplySeqInvalidReturnType =
-    checkMessagesAfter("frontend") {
+    checkMessagesAfter("typer") {
       """
         |class A(val i: Int)
         |