diff options
author | Martin Odersky <odersky@gmail.com> | 2016-11-04 08:50:53 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-11-04 08:50:53 +0100 |
commit | 372140c7acc46a690f7b7538114f425afdc07e4f (patch) | |
tree | 86fe5ae2df9c2c345f4ce96b6b9ef8450f7c424c /src/dotty/tools | |
parent | f5dbc78df12e0cabac75b03ff48facfeb6c30447 (diff) | |
download | dotty-372140c7acc46a690f7b7538114f425afdc07e4f.tar.gz dotty-372140c7acc46a690f7b7538114f425afdc07e4f.tar.bz2 dotty-372140c7acc46a690f7b7538114f425afdc07e4f.zip |
Add doc comment
Diffstat (limited to 'src/dotty/tools')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index b67ff8141..8b27db05d 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -2528,6 +2528,9 @@ object Types { case _ => false } + /** Is this polytype a higher-kinded type lambda as opposed to a polymorphic? + * method type? Only type lambdas get created with variances, that's how we can tell. + */ def isTypeLambda: Boolean = variances.nonEmpty /** PolyParam references to all type parameters of this type */ |