diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/NameOps.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/NameOps.scala | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/src/dotty/tools/dotc/core/NameOps.scala b/src/dotty/tools/dotc/core/NameOps.scala index 120540dc7..f5e0eb8cd 100644 --- a/src/dotty/tools/dotc/core/NameOps.scala +++ b/src/dotty/tools/dotc/core/NameOps.scala @@ -101,21 +101,6 @@ object NameOps { name.length > 0 && name.last == '=' && name.head != '=' && isOperatorPart(name.head) } - /** Is this the name of a higher-kinded type parameter of a Lambda? */ - def isHkArgNameOLD = - name.length > 0 && - 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 hkArgIndexOLD: Int = - name.drop(tpnme.hkArgPrefixLengthOLD).toString.toInt - /** If the name ends with $nn where nn are * all digits, strip the $ and the digits. * Otherwise return the argument. |