diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-07-21 18:55:25 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-08-03 17:28:33 +0200 |
| commit | 78a29a40028d18d3506014a0e068f53b29c52f4a (patch) | |
| tree | 0e642586ef772b340985169dc3a10b30fbb56705 /src/dotty/tools/dotc/core/Definitions.scala | |
| parent | 3065790f8536f8a6c088d6c6115f71ce45ca5ae0 (diff) | |
| download | dotty-78a29a40028d18d3506014a0e068f53b29c52f4a.tar.gz dotty-78a29a40028d18d3506014a0e068f53b29c52f4a.tar.bz2 dotty-78a29a40028d18d3506014a0e068f53b29c52f4a.zip | |
Initial versions of Variances and CheckVariances
Not yet integrated or tested.
Diffstat (limited to 'src/dotty/tools/dotc/core/Definitions.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Definitions.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Definitions.scala b/src/dotty/tools/dotc/core/Definitions.scala index 9c479de73..286d1437f 100644 --- a/src/dotty/tools/dotc/core/Definitions.scala +++ b/src/dotty/tools/dotc/core/Definitions.scala @@ -196,7 +196,6 @@ class Definitions { lazy val Array_update = ctx.requiredMethod(ArrayClass, nme.update) lazy val Array_length = ctx.requiredMethod(ArrayClass, nme.length) lazy val Array_clone = ctx.requiredMethod(ArrayClass, nme.clone_) - lazy val uncheckedStableClass: ClassSymbol = ctx.requiredClass("scala.annotation.unchecked.uncheckedStable") lazy val UnitClass = valueClassSymbol("scala.Unit", BoxedUnitClass, java.lang.Void.TYPE, UnitEnc) lazy val BooleanClass = valueClassSymbol("scala.Boolean", BoxedBooleanClass, java.lang.Boolean.TYPE, BooleanEnc) @@ -296,6 +295,8 @@ class Definitions { lazy val AnnotationDefaultAnnot = ctx.requiredClass("dotty.annotation.internal.AnnotationDefault") lazy val ThrowsAnnot = ctx.requiredClass("scala.throws") lazy val UncheckedAnnot = ctx.requiredClass("scala.unchecked") + lazy val UncheckedStableAnnot = ctx.requiredClass("scala.annotation.unchecked.uncheckedStable") + lazy val UncheckedVarianceAnnot = ctx.requiredClass("scala.annotation.unchecked.uncheckedVariance") lazy val VolatileAnnot = ctx.requiredClass("scala.volatile") // convenient one-parameter method types |