diff options
author | Martin Odersky <odersky@gmail.com> | 2013-03-17 20:12:16 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-03-17 20:12:16 +0100 |
commit | 52d740d120cd197ee816aa0a06732ccdb5d5ab29 (patch) | |
tree | 6c6e7120ff879f72e8f7fa95b72ea5b7cdbe321c /src/dotty/tools/dotc/core/StdNames.scala | |
parent | 1d029f5f8f90a909ed140f7ef5cf656fafd9fc27 (diff) | |
download | dotty-52d740d120cd197ee816aa0a06732ccdb5d5ab29.tar.gz dotty-52d740d120cd197ee816aa0a06732ccdb5d5ab29.tar.bz2 dotty-52d740d120cd197ee816aa0a06732ccdb5d5ab29.zip |
Added emulation of higher-kinded types.
Also improvements to toString.
Diffstat (limited to 'src/dotty/tools/dotc/core/StdNames.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/StdNames.scala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/StdNames.scala b/src/dotty/tools/dotc/core/StdNames.scala index e73aeaea9..f5c3fb845 100644 --- a/src/dotty/tools/dotc/core/StdNames.scala +++ b/src/dotty/tools/dotc/core/StdNames.scala @@ -238,9 +238,11 @@ object StdNames { val SELECTOR_DUMMY: N = "<unapply-selector>" val SELF: N = "$this" val SETTER_SUFFIX: N = encode("_=") + val SKOLEM: N = "<skolem>" val SPECIALIZED_INSTANCE: N = "specInstance$" val STAR: N = "*" val THIS: N = "_$this" + val HK_PARAM_PREFIX: N = "_$hk$" final val Nil: N = "Nil" final val Predef: N = "Predef" @@ -276,6 +278,7 @@ object StdNames { val EmptyPackageClass: N = "EmptyPackageClass" val ExistentialTypeTree: N = "ExistentialTypeTree" val Flag : N = "Flag" + val HigherKinded: N = "HigherKinded" val Ident: N = "Ident" val Import: N = "Import" val Literal: N = "Literal" @@ -620,6 +623,9 @@ object StdNames { class ScalaTypeNames extends ScalaNames[TypeName] { protected def fromString(s: String) = typeName(s) + + def higherKindedTraitName(n: Int) = HigherKinded ++ n.toString + def higherKindedParamName(n: Int) = HK_PARAM_PREFIX ++ n.toString } abstract class JavaNames[N <: Name] extends DefinedNames[N] { |