A DenotTransformer trait that has the identity as its transform method.
You might want to inherit from this trait so that new denotations can be
installed using installAfter and enteredAfter at the end of the phase.
The sequence position of this phase in the given context where 0
is reserved for NoPhase and the first real phase is at position 1.
-1 if the phase is not installed in the context.
The sequence position of this phase in the given context where 0
is reserved for NoPhase and the first real phase is at position 1.
-1 if the phase is not installed in the context.
Is this phase the standard typerphase? True for TyperPhase, but
not for other first phases (such as FromTasty or Parser). The predicate
is tested in some places that perform checks and corrections. It's
different from ctx.isAfterTyper (and cheaper to test).
Is this phase the standard typerphase? True for TyperPhase, but
not for other first phases (such as FromTasty or Parser). The predicate
is tested in some places that perform checks and corrections. It's
different from ctx.isAfterTyper (and cheaper to test).