Skip to content

Commit 9050aaf

Browse files
committed
Sbt-compatible implementation of isPastXXXPhase
sbt's [API extraction phase](https://github.com/sbt/sbt/blob/0.13/compile/interface/src/main/scala/xsbt/API.scala#L25) extends `scala.reflect.internal.Phase`, which implements a bunch of methods, such as `erasedTypes` as `false`, which are then overridden by scalac in `GlobalPhase` (nested in scala.tools.nsc.Global). (`erasedTypes` in particular is again overridden in the back-end -- for performance?) However, since sbt's compiler phases extend `reflect.internal.Phase`, the logic for detecting the current phase does not work, as the default implementation is called (simply returning `false`), when chasing the `prev` pointers hits an sbt-injected phase, as its implementation is `reflect.internal`'s constant `false`.
1 parent 57de5b8 commit 9050aaf

File tree

2 files changed

+8
-13
lines changed

2 files changed

+8
-13
lines changed

src/compiler/scala/tools/nsc/Global.scala

Lines changed: 0 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -384,15 +384,6 @@ class Global(var currentSettings: Settings, var reporter: Reporter)
384384

385385
def apply(unit: CompilationUnit): Unit
386386

387-
private val isErased = prev.name == "erasure" || prev.erasedTypes
388-
override def erasedTypes: Boolean = isErased
389-
private val isFlat = prev.name == "flatten" || prev.flatClasses
390-
override def flatClasses: Boolean = isFlat
391-
private val isSpecialized = prev.name == "specialize" || prev.specialized
392-
override def specialized: Boolean = isSpecialized
393-
private val isRefChecked = prev.name == "refchecks" || prev.refChecked
394-
override def refChecked: Boolean = isRefChecked
395-
396387
/** Is current phase cancelled on this unit? */
397388
def cancelled(unit: CompilationUnit) = {
398389
// run the typer only if in `createJavadoc` mode

src/reflect/scala/reflect/internal/Phase.scala

Lines changed: 8 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -39,10 +39,14 @@ abstract class Phase(val prev: Phase) {
3939
def description: String = name
4040
// Will running with -Ycheck:name work?
4141
def checkable: Boolean = true
42-
def specialized: Boolean = false
43-
def erasedTypes: Boolean = false
44-
def flatClasses: Boolean = false
45-
def refChecked: Boolean = false
42+
43+
// NOTE: sbt injects its own phases which extend this class, and not GlobalPhase, so we must implement this logic here
44+
private val _erasedTypes = ((prev ne null) && (prev ne NoPhase)) && (prev.name == "erasure" || prev.erasedTypes)
45+
def erasedTypes: Boolean = _erasedTypes // overridden in back-end
46+
final val flatClasses: Boolean = ((prev ne null) && (prev ne NoPhase)) && (prev.name == "flatten" || prev.flatClasses)
47+
final val specialized: Boolean = ((prev ne null) && (prev ne NoPhase)) && (prev.name == "specialize" || prev.specialized)
48+
final val refChecked: Boolean = ((prev ne null) && (prev ne NoPhase)) && (prev.name == "refchecks" || prev.refChecked)
49+
4650

4751
/** This is used only in unsafeTypeParams, and at this writing is
4852
* overridden to false in parser, namer, typer, and erasure. (And NoPhase.)

0 commit comments

Comments
 (0)