From 0d68a874e2158d9739abd3977ae0d9edd4a76e59 Mon Sep 17 00:00:00 2001 From: Eugene Burmako Date: Thu, 7 Feb 2013 18:45:34 +0100 Subject: SI-6113 typeOf now works for type lambdas It's not a problem to have an abstract type symbol in a ground type tag if that symbol is defined in the type being reified. This mechanics was already built in for existentials, now we extend it to include type params of poly types. Credit goes to @katefree --- test/files/run/t6113.check | 1 + test/files/run/t6113.scala | 6 ++++++ 2 files changed, 7 insertions(+) create mode 100644 test/files/run/t6113.check create mode 100644 test/files/run/t6113.scala (limited to 'test/files/run') diff --git a/test/files/run/t6113.check b/test/files/run/t6113.check new file mode 100644 index 0000000000..65fb3cd090 --- /dev/null +++ b/test/files/run/t6113.check @@ -0,0 +1 @@ +Foo[[X](Int, X)] diff --git a/test/files/run/t6113.scala b/test/files/run/t6113.scala new file mode 100644 index 0000000000..321cae86a3 --- /dev/null +++ b/test/files/run/t6113.scala @@ -0,0 +1,6 @@ +trait Foo[C[_]] + +object Test extends App { + import scala.reflect.runtime.universe._ + println(typeOf[Foo[({type l[X] = (Int, X)})#l]]) +} \ No newline at end of file -- cgit v1.2.3