diff options
author | Eugene Burmako <xeno.by@gmail.com> | 2013-11-08 09:13:21 +0100 |
---|---|---|
committer | Eugene Burmako <xeno.by@gmail.com> | 2013-11-08 09:15:01 +0100 |
commit | d15ed081efdcb70bb77b5f76b2ac36a7e6b009ba (patch) | |
tree | 4fbee24ce0040a6b6d074ef73c754ae5358c64b1 /test | |
parent | 79788afa615d165203c331533291b5f74c28738f (diff) | |
download | scala-d15ed081efdcb70bb77b5f76b2ac36a7e6b009ba.tar.gz scala-d15ed081efdcb70bb77b5f76b2ac36a7e6b009ba.tar.bz2 scala-d15ed081efdcb70bb77b5f76b2ac36a7e6b009ba.zip |
[backport] SI-7776 post-erasure signature clashes are now macro-aware
"double definition: macro this and method that have same type after erasure"
This error doesn't make sense when macros are involved, because macros
expand at compile-time, where we're not affected by erasure. Moreover,
macros produce no bytecode, which means that we're safe from VerifyErrors.
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/t7776.check | 0 | ||||
-rw-r--r-- | test/files/pos/t7776.scala | 12 |
2 files changed, 12 insertions, 0 deletions
diff --git a/test/files/pos/t7776.check b/test/files/pos/t7776.check new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/test/files/pos/t7776.check diff --git a/test/files/pos/t7776.scala b/test/files/pos/t7776.scala new file mode 100644 index 0000000000..0340facd1b --- /dev/null +++ b/test/files/pos/t7776.scala @@ -0,0 +1,12 @@ +import scala.language.experimental.macros +import scala.reflect.macros.Context + +class MacroErasure { + def app(f: Any => Any, x: Any): Any = macro MacroErasure.appMacro + def app[A](f: A => Any, x: Any): Any = macro MacroErasure.appMacroA[A] +} + +object MacroErasure { + def appMacro(c: Context)(f: c.Expr[Any => Any], x: c.Expr[Any]): c.Expr[Any] = ??? + def appMacroA[A](c: Context)(f: c.Expr[A => Any], x: c.Expr[Any])(implicit tt: c.WeakTypeTag[A]): c.Expr[Any] = ??? +}
\ No newline at end of file |