diff options
author | Martin Odersky <odersky@gmail.com> | 2017-03-19 23:00:31 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-04-06 13:15:29 +0200 |
commit | d101f49223ca9b3cf807125fa42af581b729d9ce (patch) | |
tree | 3ad9ea25b1515809c0e59c4540e1e30aa7a4a084 /compiler/src/dotty/tools/dotc/core/Types.scala | |
parent | 2e04574c4791428ed43f2fb98884361b2cd4e659 (diff) | |
download | dotty-d101f49223ca9b3cf807125fa42af581b729d9ce.tar.gz dotty-d101f49223ca9b3cf807125fa42af581b729d9ce.tar.bz2 dotty-d101f49223ca9b3cf807125fa42af581b729d9ce.zip |
Polishings
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/Types.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/core/Types.scala | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala index 0a3191b84..0a23157c8 100644 --- a/compiler/src/dotty/tools/dotc/core/Types.scala +++ b/compiler/src/dotty/tools/dotc/core/Types.scala @@ -65,12 +65,13 @@ object Types { * | +- ExprType * | +- AnnotatedType * | +- TypeVar - * | +- HKLambda --------- PolyType + * | +- HKTypeLambda * | * +- GroundType -+- AndType * +- OrType - * +- MethodOrPoly ----- MethodType ---+- ImplicitMethodType - * | +- JavaMethodType + * +- MethodOrPoly ---+-- PolyType + * +-- MethodType ---+- ImplicitMethodType + * | +- JavaMethodType * +- ClassInfo * | * +- NoType @@ -2359,8 +2360,8 @@ object Types { def isDependent(implicit ctx: Context): Boolean def isParamDependent(implicit ctx: Context): Boolean - final def isTermLambda = paramNames.head.isTermName - final def isTypeLambda = paramNames.head.isTypeName + final def isTermLambda = isInstanceOf[TermLambda] + final def isTypeLambda = isInstanceOf[TypeLambda] final def isHigherKinded = isInstanceOf[TypeProxy] lazy val paramRefs: List[ParamRef] = paramNames.indices.toList.map(newParamRef) |