diff options
author | Eugene Burmako <xeno.by@gmail.com> | 2014-02-15 01:25:11 +0100 |
---|---|---|
committer | Eugene Burmako <xeno.by@gmail.com> | 2014-02-15 09:32:28 +0100 |
commit | 6402b576f7567a4d19b4df31e0117462dd6df7d5 (patch) | |
tree | 8b76ff14a4324a3171a110c0b2fbe011c339f4ea /src/reflect | |
parent | 37b3d73f8e99fe3a42d55674068ad4ce6ecefc71 (diff) | |
download | scala-6402b576f7567a4d19b4df31e0117462dd6df7d5.tar.gz scala-6402b576f7567a4d19b4df31e0117462dd6df7d5.tar.bz2 scala-6402b576f7567a4d19b4df31e0117462dd6df7d5.zip |
better appliedType signatures
Our users deserve better than this mouthful:
`appliedType(sym.asType.toTypeConstructor, List(targ1, ...))`
Diffstat (limited to 'src/reflect')
-rw-r--r-- | src/reflect/scala/reflect/api/Types.scala | 7 | ||||
-rw-r--r-- | src/reflect/scala/reflect/internal/Types.scala | 3 |
2 files changed, 9 insertions, 1 deletions
diff --git a/src/reflect/scala/reflect/api/Types.scala b/src/reflect/scala/reflect/api/Types.scala index e026375ce5..d41b6724e6 100644 --- a/src/reflect/scala/reflect/api/Types.scala +++ b/src/reflect/scala/reflect/api/Types.scala @@ -962,6 +962,11 @@ trait Types { /** A creator for type applications * @group TypeOps */ - // TODO: needs a more convenient type signature, because applying types right now is quite boilerplatey def appliedType(tycon: Type, args: List[Type]): Type + + /** @see [[appliedType]] */ + def appliedType(tycon: Type, args: Type*): Type + + /** @see [[appliedType]] */ + def appliedType(sym: Symbol, args: Type*): Type } diff --git a/src/reflect/scala/reflect/internal/Types.scala b/src/reflect/scala/reflect/internal/Types.scala index 5da6ce026e..b18723bc8a 100644 --- a/src/reflect/scala/reflect/internal/Types.scala +++ b/src/reflect/scala/reflect/internal/Types.scala @@ -3556,6 +3556,9 @@ trait Types } } + def appliedType(tycon: Type, args: Type*): Type = + appliedType(tycon, args.toList) + /** Very convenient. */ def appliedType(tyconSym: Symbol, args: Type*): Type = appliedType(tyconSym.typeConstructor, args.toList) |