From 43249001a566c46d6bb3b515045ab477b42a0c77 Mon Sep 17 00:00:00 2001 From: Eugene Burmako Date: Thu, 9 May 2013 12:55:15 +0200 Subject: SI-7461 c.typeCheck(silent = true) now suppresses ambiguous errors Otherwise use cases like the one shown in the attached test (trying to typecheck something, which leads to an ambiguous overload error) will mysteriously fail compilation. --- test/files/pos/t7461/Macros_1.scala | 13 +++++++++++++ test/files/pos/t7461/Test_2.scala | 3 +++ 2 files changed, 16 insertions(+) create mode 100644 test/files/pos/t7461/Macros_1.scala create mode 100644 test/files/pos/t7461/Test_2.scala (limited to 'test/files/pos/t7461') diff --git a/test/files/pos/t7461/Macros_1.scala b/test/files/pos/t7461/Macros_1.scala new file mode 100644 index 0000000000..353dec66d7 --- /dev/null +++ b/test/files/pos/t7461/Macros_1.scala @@ -0,0 +1,13 @@ +import scala.reflect.macros.Context +import language.experimental.macros + +object Macros { + def impl(c: Context) = { + import c.universe._ + val wut = c.typeCheck(Select(Literal(Constant(10)), newTermName("$minus")), silent = true) + // println(showRaw(wut, printIds = true, printTypes = true)) + c.literalUnit + } + + def foo = macro impl +} \ No newline at end of file diff --git a/test/files/pos/t7461/Test_2.scala b/test/files/pos/t7461/Test_2.scala new file mode 100644 index 0000000000..3839659c9a --- /dev/null +++ b/test/files/pos/t7461/Test_2.scala @@ -0,0 +1,3 @@ +class C { + def foo = Macros.foo +} \ No newline at end of file -- cgit v1.2.3