Drop choice of separator in expanded name.

It's not used and is too low-level anyway. Expanded names should
be a semantic concept, the choice of separator is irrelevant.

Author: odersky

src/dotty/tools/dotc/core/NameOps.scala

@@ -149,14 +149,17 @@ object NameOps {
 
     /** The expanded name of `name` relative to this class `base` with given `separator`
      */
-    def expandedName(base: Symbol, separator: Name = nme.EXPAND_SEPARATOR)(implicit ctx: Context): N = {
-      val prefix = if (base is Flags.ExpandedName) base.name else base.fullNameSeparated('$')
-      name.fromName(prefix ++ separator ++ name).asInstanceOf[N]
-    }
+    def expandedName(base: Symbol)(implicit ctx: Context): N =
+      expandedName(if (base is Flags.ExpandedName) base.name else base.fullNameSeparated('$'))
+
+    /** The expanded name of `name` relative to `basename` with given `separator`
+     */
+    def expandedName(prefix: Name)(implicit ctx: Context): N =
+      name.fromName(prefix ++ nme.EXPAND_SEPARATOR ++ name).asInstanceOf[N]
 
-    def unexpandedName(separator: Name = nme.EXPAND_SEPARATOR): N = {
-      val idx = name.lastIndexOfSlice(separator)
-      if (idx < 0) name else (name drop (idx + separator.length)).asInstanceOf[N]
+    def unexpandedName: N = {
+      val idx = name.lastIndexOfSlice(nme.EXPAND_SEPARATOR)
+      if (idx < 0) name else (name drop (idx + nme.EXPAND_SEPARATOR.length)).asInstanceOf[N]
     }
 
     def shadowedName: N = likeTyped(nme.SHADOWED ++ name)
@@ -289,11 +292,11 @@ object NameOps {
 
     /** The name of an accessor for protected symbols. */
     def protectedAccessorName: TermName =
-      PROTECTED_PREFIX ++ name.unexpandedName()
+      PROTECTED_PREFIX ++ name.unexpandedName
 
     /** The name of a setter for protected symbols. Used for inherited Java fields. */
     def protectedSetterName: TermName =
-      PROTECTED_SET_PREFIX ++ name.unexpandedName()
+      PROTECTED_SET_PREFIX ++ name.unexpandedName
 
     def moduleVarName: TermName =
       name ++ MODULE_VAR_SUFFIX

src/dotty/tools/dotc/core/SymDenotations.scala

@@ -271,7 +271,7 @@ object SymDenotations {
     /** The name with which the denoting symbol was created */
     final def originalName(implicit ctx: Context) = {
       val d = initial.asSymDenotation
-      if (d is ExpandedName) d.name.unexpandedName() else d.name // !!!DEBUG, was: effectiveName
+      if (d is ExpandedName) d.name.unexpandedName else d.name // !!!DEBUG, was: effectiveName
     }
 
     /** The encoded full path name of this denotation, where outer names and inner names

src/dotty/tools/dotc/core/pickling/ClassfileParser.scala

@@ -139,7 +139,7 @@ class ClassfileParser(
     var sym = classRoot.owner
     while (sym.isClass && !(sym is Flags.ModuleClass)) {
       for (tparam <- sym.typeParams) {
-        classTParams = classTParams.updated(tparam.name.unexpandedName(), tparam)
+        classTParams = classTParams.updated(tparam.name.unexpandedName, tparam)
       }
       sym = sym.owner
     }

src/dotty/tools/dotc/printing/RefinedPrinter.scala

@@ -84,7 +84,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
       if (!tsym.exists) super.refinementNameString(tp)
       else {
         val name = tsym.originalName
-        nameString(if (tsym is ExpandedTypeParam) name.asTypeName.unexpandedName() else name)
+        nameString(if (tsym is ExpandedTypeParam) name.asTypeName.unexpandedName else name)
       }
     }
 
@@ -506,7 +506,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
     if (tree.exists(!_.isEmpty)) encl(blockText(tree)) else ""
 
   override protected def polyParamName(name: TypeName): TypeName =
-    name.unexpandedName()
+    name.unexpandedName
 
   override protected def treatAsTypeParam(sym: Symbol): Boolean = sym is TypeParam
 

src/dotty/tools/dotc/transform/FullParameterization.scala

@@ -92,7 +92,7 @@ trait FullParameterization {
       case _ => (0, info)
     }
     val ctparams = if(abstractOverClass) clazz.typeParams else Nil
-    val ctnames = ctparams.map(_.name.unexpandedName())
+    val ctnames = ctparams.map(_.name.unexpandedName)
 
     /** The method result type */
     def resultType(mapClassParams: Type => Type) = {