Skip to content

Commit 5158b26

Browse files
committed
Rename old PhantomClasses to avoid name clashes with phantom types.
1 parent 6131175 commit 5158b26

File tree

5 files changed

+7
-7
lines changed

5 files changed

+7
-7
lines changed

compiler/src/dotty/tools/dotc/core/Definitions.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -811,7 +811,7 @@ class Definitions {
811811
lazy val UnqualifiedOwnerTypes: Set[NamedType] =
812812
RootImportTypes.toSet[NamedType] ++ RootImportTypes.map(_.symbol.moduleClass.typeRef)
813813

814-
lazy val PhantomClasses = Set[Symbol](AnyClass, AnyValClass, NullClass, NothingClass)
814+
lazy val NotRuntimeClasses = Set[Symbol](AnyClass, AnyValClass, NullClass, NothingClass)
815815

816816
/** Classes that are known not to have an initializer irrespective of
817817
* whether NoInits is set. Note: FunctionXXLClass is in this set
@@ -823,7 +823,7 @@ class Definitions {
823823
* trait gets screwed up. Therefore, it is mandatory that FunctionXXL
824824
* is treated as a NoInit trait.
825825
*/
826-
lazy val NoInitClasses = PhantomClasses + FunctionXXLClass
826+
lazy val NoInitClasses = NotRuntimeClasses + FunctionXXLClass
827827

828828
def isPolymorphicAfterErasure(sym: Symbol) =
829829
(sym eq Any_isInstanceOf) || (sym eq Any_asInstanceOf)

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -488,8 +488,8 @@ object SymDenotations {
488488
def isNumericValueClass(implicit ctx: Context) =
489489
maybeOwner == defn.ScalaPackageClass && defn.ScalaNumericValueClasses().contains(symbol)
490490

491-
/** Is symbol a phantom class for which no runtime representation exists? */
492-
def isPhantomClass(implicit ctx: Context) = defn.PhantomClasses contains symbol
491+
/** Is symbol a class for which no runtime representation exists? */
492+
def isNotRuntimeClass(implicit ctx: Context) = defn.NotRuntimeClasses contains symbol
493493

494494
/** Is this symbol a class representing a refinement? These classes
495495
* are used only temporarily in Typer and Unpickler as an intermediate

compiler/src/dotty/tools/dotc/transform/ElimRepeated.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -76,7 +76,7 @@ class ElimRepeated extends MiniPhaseTransform with InfoTransformer with Annotati
7676
case _ =>
7777
val elemType = tree.tpe.elemType
7878
var elemClass = elemType.classSymbol
79-
if (defn.PhantomClasses contains elemClass) elemClass = defn.ObjectClass
79+
if (defn.NotRuntimeClasses contains elemClass) elemClass = defn.ObjectClass
8080
ref(defn.DottyArraysModule)
8181
.select(nme.seqToArray)
8282
.appliedToType(elemType)

compiler/src/dotty/tools/dotc/transform/Mixin.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -173,7 +173,7 @@ class Mixin extends MiniPhaseTransform with SymTransformer { thisTransform =>
173173

174174
def superCallOpt(baseCls: Symbol): List[Tree] = superCalls.get(baseCls) match {
175175
case Some(call) =>
176-
if (defn.PhantomClasses.contains(baseCls)) Nil else call :: Nil
176+
if (defn.NotRuntimeClasses.contains(baseCls)) Nil else call :: Nil
177177
case None =>
178178
if (baseCls.is(NoInitsTrait) || defn.NoInitClasses.contains(baseCls)) Nil
179179
else {

compiler/src/dotty/tools/dotc/transform/TreeGen.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ object TreeGen {
1414
def wrapArrayMethodName(elemtp: Type)(implicit ctx: Context): TermName = {
1515
val elemCls = elemtp.classSymbol
1616
if (elemCls.isPrimitiveValueClass) nme.wrapXArray(elemCls.name)
17-
else if (elemCls.derivesFrom(defn.ObjectClass) && !elemCls.isPhantomClass) nme.wrapRefArray
17+
else if (elemCls.derivesFrom(defn.ObjectClass) && !elemCls.isNotRuntimeClass) nme.wrapRefArray
1818
else nme.genericWrapArray
1919
}
2020

0 commit comments

Comments
 (0)