diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-07-01 15:59:33 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-07-06 17:46:45 +0200 |
| commit | 84ad34ad7a50a7f9d39d6958a7b8840e16c37a3c (patch) | |
| tree | 309525b19d9f063a384d4e2561f0b29a34986c43 /src/dotty/tools/dotc/config/ScalaVersion.scala | |
| parent | 64f65182f6e4f80b03d45923e02441dafe0755b4 (diff) | |
| download | dotty-84ad34ad7a50a7f9d39d6958a7b8840e16c37a3c.tar.gz dotty-84ad34ad7a50a7f9d39d6958a7b8840e16c37a3c.tar.bz2 dotty-84ad34ad7a50a7f9d39d6958a7b8840e16c37a3c.zip | |
Add @sharable annotation
Add @sharable annotation for classes and vals that are presumed
to be safely sharable between threads.
Also: Document CtxLazy.
Diffstat (limited to 'src/dotty/tools/dotc/config/ScalaVersion.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/ScalaVersion.scala | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/config/ScalaVersion.scala b/src/dotty/tools/dotc/config/ScalaVersion.scala index 7d4585441..721768d6b 100644 --- a/src/dotty/tools/dotc/config/ScalaVersion.scala +++ b/src/dotty/tools/dotc/config/ScalaVersion.scala @@ -1,6 +1,7 @@ /* @author James Iry */ -package dotty.tools.dotc.config +package dotty.tools +package dotc.config import scala.util.{Try, Success, Failure} @@ -15,7 +16,7 @@ sealed abstract class ScalaVersion extends Ordered[ScalaVersion] { /** * A scala version that sorts higher than all actual versions */ -case object NoScalaVersion extends ScalaVersion { +@sharable case object NoScalaVersion extends ScalaVersion { def unparse = "none" def compare(that: ScalaVersion): Int = that match { |