Merge pull request #7765 from dotty-staging/rename-front

Rename "frontend" phase to "typer"

Author: anatoliykmetyuk

compiler/src/dotty/tools/dotc/config/CompilerCommand.scala

@@ -23,7 +23,7 @@ object CompilerCommand {
     |  - (partial) phase names with an optional "+" suffix to include the next phase
     |  - the string "all"
     |  example: -Xprint:all prints all phases.
-    |  example: -Xprint:front,mixin prints the frontend and mixin phases.
+    |  example: -Xprint:typer,mixin prints the typer and mixin phases.
     |  example: -Ylog:erasure+ logs the erasure phase and the phase after the erasure phase.
     |           This is useful because during the tree transform of phase X, we often
     |           already are in phase X + 1.

compiler/src/dotty/tools/dotc/typer/FrontEnd.scala

@@ -136,5 +136,5 @@ class FrontEnd extends Phase {
 }
 
 object FrontEnd {
-  val name: String = "frontend"
+  val name: String = "typer"
 }

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/dotc/comptest.scala

@@ -25,6 +25,6 @@ object comptest extends ParallelTesting {
         dotcDir + "tools/dotc/core/Types.scala",
         dotcDir + "tools/dotc/ast/Trees.scala"
       ),
-      TestFlags("", Array("-Ylog:frontend", "-Xprompt"))
+      TestFlags("", Array("-Ylog:typer", "-Xprompt"))
   )(TestGroup("comptest"))
 }

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)
     }