diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-06 01:43:01 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-06 01:43:01 -0700 |
commit | aae34654ac24a791c08cc14976f7174811f15350 (patch) | |
tree | a50de52263ca4d2ee667ac6d741f2dd6662e7a7b | |
parent | cd0fb51ee8c49c6681c053f0ddeb531e92058c92 (diff) | |
parent | 3e9763a3ba0a486adc022c5ee410ec00768cc78d (diff) | |
download | scala-aae34654ac24a791c08cc14976f7174811f15350.tar.gz scala-aae34654ac24a791c08cc14976f7174811f15350.tar.bz2 scala-aae34654ac24a791c08cc14976f7174811f15350.zip |
Merge pull request #823 from scalamacros/topic/result-type
Adds `Type.resultType` to reflection API
-rw-r--r-- | src/reflect/scala/reflect/api/Types.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/reflect/scala/reflect/api/Types.scala b/src/reflect/scala/reflect/api/Types.scala index b797c71f6d..231b9b248b 100644 --- a/src/reflect/scala/reflect/api/Types.scala +++ b/src/reflect/scala/reflect/api/Types.scala @@ -62,6 +62,10 @@ trait Types extends base.Types { self: Universe => * the empty list for all other types */ def typeParams: List[Symbol] + /** For a (nullary) method or poly type, its direct result type, + * the type itself for all other types. */ + def resultType: Type + /** Is this type a type constructor that is missing its type arguments? */ def isHigherKinded: Boolean // !!! This should be called "isTypeConstructor", no? |