aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/NameOps.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/dotty/tools/dotc/core/NameOps.scala')
-rw-r--r--src/dotty/tools/dotc/core/NameOps.scala15
1 files changed, 9 insertions, 6 deletions
diff --git a/src/dotty/tools/dotc/core/NameOps.scala b/src/dotty/tools/dotc/core/NameOps.scala
index 1a2646347..7dbd492b4 100644
--- a/src/dotty/tools/dotc/core/NameOps.scala
+++ b/src/dotty/tools/dotc/core/NameOps.scala
@@ -99,19 +99,22 @@ object NameOps {
}
/** Is this the name of a higher-kinded type parameter of a Lambda? */
- def isLambdaArgName =
+ def isHkArgName =
name.length > 0 &&
- name.head == tpnme.LAMBDA_ARG_PREFIXhead &&
- name.startsWith(tpnme.LAMBDA_ARG_PREFIX) && {
- val digits = name.drop(tpnme.LAMBDA_ARG_PREFIX.length)
+ name.head == tpnme.hkArgPrefixHead &&
+ name.startsWith(tpnme.hkArgPrefix) && {
+ val digits = name.drop(tpnme.hkArgPrefixLength)
digits.length <= 4 && digits.forall(_.isDigit)
}
/** The index of the higher-kinded type parameter with this name.
* Pre: isLambdaArgName.
*/
- def LambdaArgIndex: Int =
- name.drop(tpnme.LAMBDA_ARG_PREFIX.length).toString.toInt
+ def hkArgIndex: Int =
+ name.drop(tpnme.hkArgPrefixLength).toString.toInt
+
+ def isLambdaTraitName(implicit ctx: Context): Boolean =
+ name.startsWith(tpnme.hkLambdaPrefix)
/** If the name ends with $nn where nn are
* all digits, strip the $ and the digits.