diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/NameOps.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/NameOps.scala | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/dotty/tools/dotc/core/NameOps.scala b/src/dotty/tools/dotc/core/NameOps.scala index b5704480a..120540dc7 100644 --- a/src/dotty/tools/dotc/core/NameOps.scala +++ b/src/dotty/tools/dotc/core/NameOps.scala @@ -102,19 +102,19 @@ object NameOps { } /** Is this the name of a higher-kinded type parameter of a Lambda? */ - def isHkArgName = + def isHkArgNameOLD = name.length > 0 && - name.head == tpnme.hkArgPrefixHead && - name.startsWith(tpnme.hkArgPrefix) && { - val digits = name.drop(tpnme.hkArgPrefixLength) + name.head == tpnme.hkArgPrefixHeadOLD && + name.startsWith(tpnme.hkArgPrefixOLD) && { + val digits = name.drop(tpnme.hkArgPrefixLengthOLD) digits.length <= 4 && digits.forall(_.isDigit) } /** The index of the higher-kinded type parameter with this name. * Pre: isLambdaArgName. */ - def hkArgIndex: Int = - name.drop(tpnme.hkArgPrefixLength).toString.toInt + def hkArgIndexOLD: Int = + name.drop(tpnme.hkArgPrefixLengthOLD).toString.toInt /** If the name ends with $nn where nn are * all digits, strip the $ and the digits. |