From 098e8a084adbebca1f2e57e1aacbf6d9a3a87e7d Mon Sep 17 00:00:00 2001 From: Eugene Burmako Date: Thu, 13 Dec 2012 02:20:47 +0100 Subject: typedIdent no longer destroys attachments When transforming Idents to qualified Selects, typedIdent used to forget about carrying original attachments to the resulting tree. Not anymore. --- test/files/pos/attachments-typed-ident.check | 0 test/files/pos/attachments-typed-ident.flags | 1 + test/files/pos/attachments-typed-ident/Impls_1.scala | 17 +++++++++++++++++ .../pos/attachments-typed-ident/Macros_Test_2.scala | 4 ++++ 4 files changed, 22 insertions(+) create mode 100644 test/files/pos/attachments-typed-ident.check create mode 100644 test/files/pos/attachments-typed-ident.flags create mode 100644 test/files/pos/attachments-typed-ident/Impls_1.scala create mode 100644 test/files/pos/attachments-typed-ident/Macros_Test_2.scala (limited to 'test') diff --git a/test/files/pos/attachments-typed-ident.check b/test/files/pos/attachments-typed-ident.check new file mode 100644 index 0000000000..e69de29bb2 diff --git a/test/files/pos/attachments-typed-ident.flags b/test/files/pos/attachments-typed-ident.flags new file mode 100644 index 0000000000..cd66464f2f --- /dev/null +++ b/test/files/pos/attachments-typed-ident.flags @@ -0,0 +1 @@ +-language:experimental.macros \ No newline at end of file diff --git a/test/files/pos/attachments-typed-ident/Impls_1.scala b/test/files/pos/attachments-typed-ident/Impls_1.scala new file mode 100644 index 0000000000..cc40893a93 --- /dev/null +++ b/test/files/pos/attachments-typed-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 +} \ No newline at end of file diff --git a/test/files/pos/attachments-typed-ident/Macros_Test_2.scala b/test/files/pos/attachments-typed-ident/Macros_Test_2.scala new file mode 100644 index 0000000000..37065ead4b --- /dev/null +++ b/test/files/pos/attachments-typed-ident/Macros_Test_2.scala @@ -0,0 +1,4 @@ +object Test extends App { + def bar = 2 + Macros.foo +} \ No newline at end of file -- cgit v1.2.3