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, 21 insertions, 0 deletions

diff --git a/test/files/run/reify_ann3.check b/test/files/run/reify_ann3.check
new file mode 100644
index 0000000000..9452a9701e
--- /dev/null
+++ b/test/files/run/reify_ann3.check
@@ -0,0 +1,21 @@
+{

+  class Tree[A >: Nothing <: Any, B >: Nothing <: Any] extends Object {

+    @new inline @getter() final <paramaccessor> val key: A = _;

+    def <init>(key: A) = {

+      super.<init>();

+      ()

+    }

+  };

+  ()

+}

+{

+  class Tree[A, B] extends Object {

+    final <paramaccessor> private[this] val key: A = _;

+    @inline @scala.annotation.meta.getter final <stable> <accessor> <paramaccessor> def key: A = Tree.this.key;

+    def <init>(key: A): Tree[A,B] = {

+      Tree.super.<init>();

+      ()

+    }

+  };

+  ()

+}