diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-07-20 11:35:52 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 18:10:39 +0200 |
| commit | 31048ad571b8c917a4c67f48899babae0703cae2 (patch) | |
| tree | 24d3f0d320ba96aaa7db40bb79bb29bfdae8fc1a /src/dotty/tools/dotc/core/NameOps.scala | |
| parent | 845a5d65796365454ceaaba48603afa07792f7e7 (diff) | |
| download | dotty-31048ad571b8c917a4c67f48899babae0703cae2.tar.gz dotty-31048ad571b8c917a4c67f48899babae0703cae2.tar.bz2 dotty-31048ad571b8c917a4c67f48899babae0703cae2.zip | |
Rename of hk args HK$x -> hk$x
These are not user-accessible types, so no need to follow
type convention and write in upper case.
Also, rename occurrences of lambda to Lambda, to make clear
we mean a type lambda.
Diffstat (limited to 'src/dotty/tools/dotc/core/NameOps.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/NameOps.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/NameOps.scala b/src/dotty/tools/dotc/core/NameOps.scala index bf5b68ce9..1a2646347 100644 --- a/src/dotty/tools/dotc/core/NameOps.scala +++ b/src/dotty/tools/dotc/core/NameOps.scala @@ -110,7 +110,7 @@ object NameOps { /** The index of the higher-kinded type parameter with this name. * Pre: isLambdaArgName. */ - def lambdaArgIndex: Int = + def LambdaArgIndex: Int = name.drop(tpnme.LAMBDA_ARG_PREFIX.length).toString.toInt /** If the name ends with $nn where nn are |