Next generation of macros

Implements SIP 16: Self-cleaning macros: http://bit.ly/wjjXTZ

Features:
* Macro defs
* Reification
* Type tags
* Manifests aliased to type tags
* Extended reflection API
* Several hundred tests
* 1111 changed files

Not yet implemented:
* Reification of refined types
* Expr.value splicing
* Named and default macro expansions
* Intricacies of interaction between macros and implicits
* Emission of debug information for macros (compliant with JSR-45)

Dedicated to Yuri Alekseyevich Gagarin

1 files changed, 42 insertions, 0 deletions

diff --git a/src/compiler/scala/reflect/reify/Phases.scala b/src/compiler/scala/reflect/reify/Phases.scala
new file mode 100644
index 0000000000..49d5a45e8e
--- /dev/null
+++ b/src/compiler/scala/reflect/reify/Phases.scala
@@ -0,0 +1,42 @@
+package scala.reflect
+package reify
+
+import scala.reflect.reify.phases._
+
+trait Phases extends Calculate
+                with Reshape
+                with Metalevels
+                with Reify {
+
+  self: Reifier =>
+
+  import mirror._
+  import definitions._
+
+  private var alreadyRun = false
+
+  lazy val mkReificationPipeline: Tree => Tree = tree0 => {
+    assert(!alreadyRun, "reifier instance cannot be used more than once")
+    alreadyRun = true
+
+    var tree = tree0
+
+    if (reifyDebug) println("[calculate phase]")
+    calculate.traverse(tree)
+
+    if (reifyDebug) println("[reshape phase]")
+    tree = reshape.transform(tree)
+
+    if (reifyDebug) println("[metalevels phase]")
+    tree = metalevels.transform(tree)
+
+    if (reifyDebug) println("[interlude]")
+    if (reifyDebug) println("symbol table = " + (if (symbolTable.length == 0) "<empty>" else ""))
+    if (reifyDebug) symbolTable foreach (println(_))
+    if (reifyDebug) println("reifee = " + (if (opt.showTrees) "\n" + nodePrinters.nodeToString(tree).trim else tree.toString))
+    if (reifyDebug) println("[reify phase]")
+    var result = reify(tree)
+
+    result
+  }
+}
\ No newline at end of file