diff options
author | paltherr <paltherr@epfl.ch> | 2003-11-18 09:46:06 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-11-18 09:46:06 +0000 |
commit | 35ff40f25baac698b0794701961c420f94174e35 (patch) | |
tree | a39cd180872be10f8cd5eefdee785ffc9998d173 /sources/meta/scalac/Phase.java | |
parent | f28a8a337ed290b1f7dbb0bc493d83f576fb6352 (diff) | |
download | scala-35ff40f25baac698b0794701961c420f94174e35.tar.gz scala-35ff40f25baac698b0794701961c420f94174e35.tar.bz2 scala-35ff40f25baac698b0794701961c420f94174e35.zip |
- Added some end phases
Diffstat (limited to 'sources/meta/scalac/Phase.java')
-rw-r--r-- | sources/meta/scalac/Phase.java | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/sources/meta/scalac/Phase.java b/sources/meta/scalac/Phase.java index 023ec454e2..8092d6125b 100644 --- a/sources/meta/scalac/Phase.java +++ b/sources/meta/scalac/Phase.java @@ -15,18 +15,18 @@ public class Phase { // Public Constants public static final Phase - START = new Phase("start", null), - PARSER = new Phase("parser", "PARSER"), - ANALYZER = new Phase("analyzer", "ANALYZER"), - DESUGARIZER = new Phase("desugarizer", "ANALYZER"), - REFCHECK = new Phase("refcheck", "REFCHECK"), - UNCURRY = new Phase("uncurry", "UNCURRY"), - LAMBDALIFT = new Phase("lambdalift", "LAMBDALIFT"), - TRANSMATCH = new Phase("transmatch", "TRANSMATCH"), - OPTIMIZER = new Phase("optimizer", null), // !!! "OPTIMIZE" - ERASURE = new Phase("erasure", "ERASURE"), - UNKNOWN = new Phase("? !!!", null), - END = new Phase("-", null); + START = new Phase("start", null), + PARSER = new Phase("parser", "PARSER"), + DESUGARIZER = new Phase("desugarizer", "ANALYZER"), + ANALYZER = new Phase("analyzer", "ANALYZER"), + REFCHECK = new Phase("refcheck", "REFCHECK"), + UNCURRY = new Phase("uncurry", "UNCURRY"), + TRANSMATCH = new Phase("transmatch", "TRANSMATCH"), + LAMBDALIFT = new Phase("lambdalift", "LAMBDALIFT"), + EXPLICITOUTER = new Phase("explicitouter", "EXPLICITOUTER"), + ERASURE = new Phase("erasure", "ERASURE"), + UNKNOWN = new Phase("? !!!", null), + END = new Phase("-", null); //######################################################################## // Public Fields |