diff options
Diffstat (limited to 'src/dotty/tools/dotc/core/StdNames.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/StdNames.scala | 18 |
1 files changed, 6 insertions, 12 deletions
diff --git a/src/dotty/tools/dotc/core/StdNames.scala b/src/dotty/tools/dotc/core/StdNames.scala index 81f6da0e2..f9ede23c5 100644 --- a/src/dotty/tools/dotc/core/StdNames.scala +++ b/src/dotty/tools/dotc/core/StdNames.scala @@ -529,12 +529,6 @@ object StdNames { val synthSwitch: N = "$synthSwitch" - val hkApply: N = "$Apply" - val hkArgPrefix: N = "$hk" - val hkLambdaPrefix: N = "Lambda$" - val hkArgPrefixHead: Char = hkArgPrefix.head - val hkArgPrefixLength: Int = hkArgPrefix.length - // unencoded operators object raw { final val AMP : N = "&" @@ -739,18 +733,18 @@ object StdNames { class ScalaTypeNames extends ScalaNames[TypeName] { protected implicit def fromString(s: String): TypeName = typeName(s) - @switch def syntheticTypeParamName(i: Int): TypeName = "T" + i + def syntheticTypeParamName(i: Int): TypeName = "T" + i + def syntheticLambdaParamName(i: Int): TypeName = "X" + i def syntheticTypeParamNames(num: Int): List[TypeName] = (0 until num).map(syntheticTypeParamName)(breakOut) - def hkLambda(vcs: List[Int]): TypeName = hkLambdaPrefix ++ vcs.map(varianceSuffix).mkString - def hkArg(n: Int): TypeName = hkArgPrefix ++ n.toString - - def varianceSuffix(v: Int): Char = varianceSuffixes.charAt(v + 1) - val varianceSuffixes = "NIP" + def syntheticLambdaParamNames(num: Int): List[TypeName] = + (0 until num).map(syntheticLambdaParamName)(breakOut) final val Conforms = encode("<:<") + + final val Uninstantiated: TypeName = "?$" } abstract class JavaNames[N <: Name] extends DefinedNames[N] { |