From 6c3c0e391655457e917a8c85d2d74eb9297e0571 Mon Sep 17 00:00:00 2001 From: Eugene Burmako Date: Sun, 16 Dec 2012 17:01:00 +0100 Subject: fixes the typedIdent problem for good Previous attachment retaining fix was only working for Idents which get turned into Selects. Now it works for all transformations applied to Idents (e.g. when an ident refers to something within a package obj). --- test/files/pos/attachments-typed-another-ident.check | 0 test/files/pos/attachments-typed-another-ident.flags | 1 + .../pos/attachments-typed-another-ident/Impls_1.scala | 17 +++++++++++++++++ .../attachments-typed-another-ident/Macros_Test_2.scala | 5 +++++ 4 files changed, 23 insertions(+) create mode 100644 test/files/pos/attachments-typed-another-ident.check create mode 100644 test/files/pos/attachments-typed-another-ident.flags create mode 100644 test/files/pos/attachments-typed-another-ident/Impls_1.scala create mode 100644 test/files/pos/attachments-typed-another-ident/Macros_Test_2.scala (limited to 'test') diff --git a/test/files/pos/attachments-typed-another-ident.check b/test/files/pos/attachments-typed-another-ident.check new file mode 100644 index 0000000000..e69de29bb2 diff --git a/test/files/pos/attachments-typed-another-ident.flags b/test/files/pos/attachments-typed-another-ident.flags new file mode 100644 index 0000000000..cd66464f2f --- /dev/null +++ b/test/files/pos/attachments-typed-another-ident.flags @@ -0,0 +1 @@ +-language:experimental.macros \ No newline at end of file diff --git a/test/files/pos/attachments-typed-another-ident/Impls_1.scala b/test/files/pos/attachments-typed-another-ident/Impls_1.scala new file mode 100644 index 0000000000..957bafc6ae --- /dev/null +++ b/test/files/pos/attachments-typed-another-ident/Impls_1.scala @@ -0,0 +1,17 @@ +import scala.reflect.macros.Context +import language.experimental.macros + +object MyAttachment + +object Macros { + def impl(c: Context) = { + import c.universe._ + val ident = Ident(newTermName("bar")) updateAttachment MyAttachment + assert(ident.attachments.get[MyAttachment.type].isDefined, ident.attachments) + val typed = c.typeCheck(ident) + assert(typed.attachments.get[MyAttachment.type].isDefined, typed.attachments) + c.Expr[Int](typed) + } + + def foo = macro impl +} diff --git a/test/files/pos/attachments-typed-another-ident/Macros_Test_2.scala b/test/files/pos/attachments-typed-another-ident/Macros_Test_2.scala new file mode 100644 index 0000000000..022639bfe9 --- /dev/null +++ b/test/files/pos/attachments-typed-another-ident/Macros_Test_2.scala @@ -0,0 +1,5 @@ +object Test extends App { + def bar = 2 + Macros.foo +} + -- cgit v1.2.3