diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-03-07 10:57:58 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-03-07 10:57:58 +0100 |
| commit | 0a6bddc34dbfc9a667c7d63c1dc4de6ae04d7343 (patch) | |
| tree | c0d1086447b374bc426de5bde0deb0f96215a732 /src/dotty/tools/dotc/core/Phases.scala | |
| parent | 519942ae5bf4bc6b1ba8f6e4a52447ddb974dad1 (diff) | |
| download | dotty-0a6bddc34dbfc9a667c7d63c1dc4de6ae04d7343.tar.gz dotty-0a6bddc34dbfc9a667c7d63c1dc4de6ae04d7343.tar.bz2 dotty-0a6bddc34dbfc9a667c7d63c1dc4de6ae04d7343.zip | |
Some refinements for prining
Made trees printable in plain mode (refined mode still missing).
Diffstat (limited to 'src/dotty/tools/dotc/core/Phases.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Phases.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/core/Phases.scala b/src/dotty/tools/dotc/core/Phases.scala index 02d9c9749..039bba164 100644 --- a/src/dotty/tools/dotc/core/Phases.scala +++ b/src/dotty/tools/dotc/core/Phases.scala @@ -33,12 +33,12 @@ object Phases { def name = "<no phase>" def run() { throw new Error("NoPhase.run") } } -/* - object SomePhase extends Phase { + + object SomePhase extends Phase(initialCtx) { def name = "<some phase>" def run() { throw new Error("SomePhase.run") } } -*/ + def phaseNamed(name: String) = allPhases.find(_.name == name).getOrElse(NoPhase) |