diff options
author | Martin Odersky <odersky@gmail.com> | 2015-07-01 18:09:00 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-07-06 17:46:48 +0200 |
commit | 7cdd006e25fecce309c5843721660b1de1827dba (patch) | |
tree | 686e97d0c7cc317e12f8f206ce38fa03616aa5c8 /src/dotty/tools/dotc/transform/CheckReentrant.scala | |
parent | b7f1899cb7f0fa31c8dc140706a822b2d9e7346a (diff) | |
download | dotty-7cdd006e25fecce309c5843721660b1de1827dba.tar.gz dotty-7cdd006e25fecce309c5843721660b1de1827dba.tar.bz2 dotty-7cdd006e25fecce309c5843721660b1de1827dba.zip |
More @sharable annotations
Also, some code movements in Names to make it more obvious that mutating operations
are only called from synchronized blocks.
Diffstat (limited to 'src/dotty/tools/dotc/transform/CheckReentrant.scala')
0 files changed, 0 insertions, 0 deletions