diff options
author | Martin Odersky <odersky@gmail.com> | 2016-06-29 09:50:27 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:35:06 +0200 |
commit | 6bd7ba9ea4484ee2065dd16077cba6c26b2050d9 (patch) | |
tree | 7b13e292f072fed02e0ba9a8a431eef92f71cf57 /src/dotty/tools/dotc/core/NameOps.scala | |
parent | a23c1a476296a25566d7aa08de676a1217b243cb (diff) | |
download | dotty-6bd7ba9ea4484ee2065dd16077cba6c26b2050d9.tar.gz dotty-6bd7ba9ea4484ee2065dd16077cba6c26b2050d9.tar.bz2 dotty-6bd7ba9ea4484ee2065dd16077cba6c26b2050d9.zip |
Remove refinement encoding of hk types
Remove the code that implemented the encoding of hk types
using refinements.
Drop the notion that RefinedTypes can be type parameters. This is
no longer true under the new representation.
Also, refactoring MemberBinding -> TypeParamInfo
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. |