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, 100 insertions, 100 deletions

diff --git a/test/files/neg/checksensible.check b/test/files/neg/checksensible.check
index d785179a56..23af94180a 100644
--- a/test/files/neg/checksensible.check
+++ b/test/files/neg/checksensible.check
@@ -1,100 +1,100 @@
-checksensible.scala:13: error: comparing a fresh object using `eq' will always yield false
-  (new AnyRef) eq (new AnyRef)
-               ^
-checksensible.scala:14: error: comparing a fresh object using `ne' will always yield true
-  (new AnyRef) ne (new AnyRef)
-               ^
-checksensible.scala:15: error: comparing a fresh object using `eq' will always yield false
-  Shmoopie eq (new AnyRef)
-           ^
-checksensible.scala:16: error: comparing a fresh object using `eq' will always yield false
-  (Shmoopie: AnyRef) eq (new AnyRef)
-                     ^
-checksensible.scala:17: error: comparing a fresh object using `eq' will always yield false
-  (new AnyRef) eq Shmoopie
-               ^
-checksensible.scala:18: error: comparing a fresh object using `eq' will always yield false
-  (new AnyRef) eq null
-               ^
-checksensible.scala:19: error: comparing a fresh object using `eq' will always yield false
-  null eq new AnyRef
-       ^
-checksensible.scala:26: error: comparing values of types Unit and Int using `==' will always yield false
-  (c = 1) == 0
-          ^
-checksensible.scala:27: error: comparing values of types Int and Unit using `==' will always yield false
-  0 == (c = 1)
-    ^
-checksensible.scala:29: error: comparing values of types Int and String using `==' will always yield false
-  1 == "abc"
-    ^
-checksensible.scala:33: error: comparing values of types Some[Int] and Int using `==' will always yield false
-  Some(1) == 1      // as above
-          ^
-checksensible.scala:38: error: comparing a fresh object using `==' will always yield false
-  new AnyRef == 1
-             ^
-checksensible.scala:41: error: comparing values of types Int and Boolean using `==' will always yield false
-  1 == (new java.lang.Boolean(true))
-    ^
-checksensible.scala:43: error: comparing values of types Int and Boolean using `!=' will always yield true
-  1 != true
-    ^
-checksensible.scala:44: error: comparing values of types Unit and Boolean using `==' will always yield false
-  () == true
-     ^
-checksensible.scala:45: error: comparing values of types Unit and Unit using `==' will always yield true
-  () == ()
-     ^
-checksensible.scala:46: error: comparing values of types Unit and Unit using `==' will always yield true
-  () == println
-     ^
-checksensible.scala:47: error: comparing values of types Unit and scala.runtime.BoxedUnit using `==' will always yield true
-  () == scala.runtime.BoxedUnit.UNIT // these should warn for always being true/false
-     ^
-checksensible.scala:48: error: comparing values of types scala.runtime.BoxedUnit and Unit using `!=' will always yield false
-  scala.runtime.BoxedUnit.UNIT != ()
-                               ^
-checksensible.scala:51: error: comparing values of types Int and Unit using `!=' will always yield true
-  (1 != println)
-     ^
-checksensible.scala:52: error: comparing values of types Int and Symbol using `!=' will always yield true
-  (1 != 'sym)
-     ^
-checksensible.scala:58: error: comparing a fresh object using `==' will always yield false
-  ((x: Int) => x + 1) == null
-                      ^
-checksensible.scala:59: error: comparing a fresh object using `==' will always yield false
-  Bep == ((_: Int) + 1)
-      ^
-checksensible.scala:61: error: comparing a fresh object using `==' will always yield false
-  new Object == new Object
-             ^
-checksensible.scala:62: error: comparing a fresh object using `==' will always yield false
-  new Object == "abc"
-             ^
-checksensible.scala:63: error: comparing a fresh object using `!=' will always yield true
-  new Exception() != new Exception()
-                  ^
-checksensible.scala:66: error: comparing values of types Int and Null using `==' will always yield false
-  if (foo.length == null) "plante" else "plante pas"
-                 ^
-checksensible.scala:71: error: comparing values of types Bip and Bop using `==' will always yield false
-  (x1 == x2)
-      ^
-checksensible.scala:81: error: comparing values of types EqEqRefTest.this.C3 and EqEqRefTest.this.Z1 using `==' will always yield false
-  c3 == z1
-     ^
-checksensible.scala:82: error: comparing values of types EqEqRefTest.this.Z1 and EqEqRefTest.this.C3 using `==' will always yield false
-  z1 == c3
-     ^
-checksensible.scala:83: error: comparing values of types EqEqRefTest.this.Z1 and EqEqRefTest.this.C3 using `!=' will always yield true
-  z1 != c3
-     ^
-checksensible.scala:84: error: comparing values of types EqEqRefTest.this.C3 and String using `!=' will always yield true
-  c3 != "abc"
-     ^
-checksensible.scala:95: error: comparing values of types Unit and Int using `!=' will always yield true
-    while ((c = in.read) != -1)
-                         ^
-33 errors found
+checksensible.scala:13: error: comparing a fresh object using `eq' will always yield false

+  (new AnyRef) eq (new AnyRef)

+               ^

+checksensible.scala:14: error: comparing a fresh object using `ne' will always yield true

+  (new AnyRef) ne (new AnyRef)

+               ^

+checksensible.scala:15: error: comparing a fresh object using `eq' will always yield false

+  Shmoopie eq (new AnyRef)

+           ^

+checksensible.scala:16: error: comparing a fresh object using `eq' will always yield false

+  (Shmoopie: AnyRef) eq (new AnyRef)

+                     ^

+checksensible.scala:17: error: comparing a fresh object using `eq' will always yield false

+  (new AnyRef) eq Shmoopie

+               ^

+checksensible.scala:18: error: comparing a fresh object using `eq' will always yield false

+  (new AnyRef) eq null

+               ^

+checksensible.scala:19: error: comparing a fresh object using `eq' will always yield false

+  null eq new AnyRef

+       ^

+checksensible.scala:26: error: comparing values of types Unit and Int using `==' will always yield false

+  (c = 1) == 0

+          ^

+checksensible.scala:27: error: comparing values of types Int and Unit using `==' will always yield false

+  0 == (c = 1)

+    ^

+checksensible.scala:29: error: comparing values of types Int and String using `==' will always yield false

+  1 == "abc"

+    ^

+checksensible.scala:33: error: comparing values of types Some[Int] and Int using `==' will always yield false

+  Some(1) == 1      // as above

+          ^

+checksensible.scala:38: error: comparing a fresh object using `==' will always yield false

+  new AnyRef == 1

+             ^

+checksensible.scala:41: error: comparing values of types Int and Boolean using `==' will always yield false

+  1 == (new java.lang.Boolean(true))

+    ^

+checksensible.scala:43: error: comparing values of types Int and Boolean using `!=' will always yield true

+  1 != true

+    ^

+checksensible.scala:44: error: comparing values of types Unit and Boolean using `==' will always yield false

+  () == true

+     ^

+checksensible.scala:45: error: comparing values of types Unit and Unit using `==' will always yield true

+  () == ()

+     ^

+checksensible.scala:46: error: comparing values of types Unit and Unit using `==' will always yield true

+  () == println

+     ^

+checksensible.scala:47: error: comparing values of types Unit and scala.runtime.BoxedUnit using `==' will always yield true

+  () == scala.runtime.BoxedUnit.UNIT // these should warn for always being true/false

+     ^

+checksensible.scala:48: error: comparing values of types scala.runtime.BoxedUnit and Unit using `!=' will always yield false

+  scala.runtime.BoxedUnit.UNIT != ()

+                               ^

+checksensible.scala:51: error: comparing values of types Int and Unit using `!=' will always yield true

+  (1 != println)

+     ^

+checksensible.scala:52: error: comparing values of types Int and Symbol using `!=' will always yield true

+  (1 != 'sym)

+     ^

+checksensible.scala:58: error: comparing a fresh object using `==' will always yield false

+  ((x: Int) => x + 1) == null

+                      ^

+checksensible.scala:59: error: comparing a fresh object using `==' will always yield false

+  Bep == ((_: Int) + 1)

+      ^

+checksensible.scala:61: error: comparing a fresh object using `==' will always yield false

+  new Object == new Object

+             ^

+checksensible.scala:62: error: comparing a fresh object using `==' will always yield false

+  new Object == "abc"

+             ^

+checksensible.scala:63: error: comparing a fresh object using `!=' will always yield true

+  new Exception() != new Exception()

+                  ^

+checksensible.scala:66: error: comparing values of types Int and Null using `==' will always yield false

+  if (foo.length == null) "plante" else "plante pas"

+                 ^

+checksensible.scala:71: error: comparing values of types Bip and Bop using `==' will always yield false

+  (x1 == x2)

+      ^

+checksensible.scala:81: error: comparing values of types EqEqRefTest.this.C3 and EqEqRefTest.this.Z1 using `==' will always yield false

+  c3 == z1

+     ^

+checksensible.scala:82: error: comparing values of types EqEqRefTest.this.Z1 and EqEqRefTest.this.C3 using `==' will always yield false

+  z1 == c3

+     ^

+checksensible.scala:83: error: comparing values of types EqEqRefTest.this.Z1 and EqEqRefTest.this.C3 using `!=' will always yield true

+  z1 != c3

+     ^

+checksensible.scala:84: error: comparing values of types EqEqRefTest.this.C3 and String using `!=' will always yield true

+  c3 != "abc"

+     ^

+checksensible.scala:95: error: comparing values of types Unit and Int using `!=' will always yield true

+    while ((c = in.read) != -1)

+                         ^

+33 errors found