Dotty Documentation

0.6.0-bin-SNAPSHOT

object Phases
extends Object

[-] Constructors

[-] Members

[+] trait NeedsCompanions
[+] trait Phase
[+] trait PhasesBase
[+] private final class getClassDeco

Dotty deviation: getClass yields Class[_], instead of [Class <: ]. We can get back the old behavior using this decorator. We should also use the same trick for standard getClass.

[+] private object getClassDeco

Dotty deviation: getClass yields Class[_], instead of [Class <: ]. We can get back the old behavior using this decorator. We should also use the same trick for standard getClass.

[+] def replace ( oldPhaseClass: Class [ Nothing <: Phase ] , newPhases: Phase => List [ Phase ] , current: List [ List [ Phase ] ] ) : List [ List [ Phase ] ]

Replace all instances of oldPhaseClass in current phases by the result of newPhases applied to the old phase.