Dotty Documentation


class Staging
extends MacroTransform

Checks that the Phase Consistency Principle (PCP) holds and heals types.

Type healing consists in transforming a phase inconsistent type T into ${ implicitly[Type[T]] }.

[-] Constructors

Staging ( )

[-] Members

[+] override def allowsImplicitSearch : Boolean

If set, implicit search is enabled

[+] override def checkPostCondition ( tree: Tree ) ( implicit ctx: Context ) : Unit

Check what the phase achieves, to be called at any point after it is finished.

[+] protected def newTransformer ( implicit ctx: Context ) : Transformer
[+] override def phaseName : String

A name given to the Phase that can be used to debug the compiler. For instance, it is possible to print trees after a given phase using:

$ ./bin/dotc -Xprint:<phaseNameHere> sourceFile.scala
[+] override def run ( implicit ctx: Context ) : Unit