diff options
| author | Eugene Burmako <xeno.by@gmail.com> | 2014-03-16 10:18:26 +0100 |
|---|---|---|
| committer | Eugene Burmako <xeno.by@gmail.com> | 2014-03-25 15:58:58 +0100 |
| commit | f9a5880bf82b71174eb3dbd6b67646bbc27a975a (patch) | |
| tree | cc622b21e2d32585eaa968bc82c2f7b7e20cc9f7 /src | |
| parent | 49f54abed4f82d9b58f416915edaaea889734344 (diff) | |
| download | scala-f9a5880bf82b71174eb3dbd6b67646bbc27a975a.tar.gz scala-f9a5880bf82b71174eb3dbd6b67646bbc27a975a.tar.bz2 scala-f9a5880bf82b71174eb3dbd6b67646bbc27a975a.zip | |
introduces Mirror.typeOf
I just realized that our tag-based shortcuts were incomplete, because
they only work with root mirrors (doing just u.typeTag[T].tpe means that
the type is going to be resolved in u.rootMirror because that's the default).
This commit fixes this oversight. I'm hoping for 2.11.0-RC3, but also feel
free to reschedule to 2.12.0-M1 if it becomes clear that RC3 isn't happening.
Diffstat (limited to 'src')
| -rw-r--r-- | src/reflect/scala/reflect/api/Mirror.scala | 18 | ||||
| -rw-r--r-- | src/reflect/scala/reflect/internal/Mirrors.scala | 2 |
2 files changed, 20 insertions, 0 deletions
diff --git a/src/reflect/scala/reflect/api/Mirror.scala b/src/reflect/scala/reflect/api/Mirror.scala index da3afd89ff..318fdb369a 100644 --- a/src/reflect/scala/reflect/api/Mirror.scala +++ b/src/reflect/scala/reflect/api/Mirror.scala @@ -118,4 +118,22 @@ abstract class Mirror[U <: Universe with Singleton] { * @group Mirror */ def staticPackage(fullName: String): U#ModuleSymbol + + /** + * Shortcut for `implicitly[WeakTypeTag[T]].tpe` + * @group TypeTags + */ + def weakTypeOf[T: universe.WeakTypeTag]: U#Type = universe.weakTypeTag[T].in(this).tpe + + /** + * Shortcut for `implicitly[TypeTag[T]].tpe` + * @group TypeTags + */ + def typeOf[T: universe.TypeTag]: U#Type = universe.typeTag[T].in(this).tpe + + /** + * Type symbol of `x` as derived from a type tag. + * @group TypeTags + */ + def symbolOf[T: universe.WeakTypeTag]: U#TypeSymbol } diff --git a/src/reflect/scala/reflect/internal/Mirrors.scala b/src/reflect/scala/reflect/internal/Mirrors.scala index 7065a8cd6d..4a35e024de 100644 --- a/src/reflect/scala/reflect/internal/Mirrors.scala +++ b/src/reflect/scala/reflect/internal/Mirrors.scala @@ -30,6 +30,8 @@ trait Mirrors extends api.Mirrors { val EmptyPackageClass: ClassSymbol val EmptyPackage: ModuleSymbol + def symbolOf[T: universe.WeakTypeTag]: universe.TypeSymbol = universe.weakTypeTag[T].in(this).tpe.typeSymbolDirect.asType + def findMemberFromRoot(fullName: Name): Symbol = { val segs = nme.segments(fullName.toString, fullName.isTermName) if (segs.isEmpty) NoSymbol |