diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-01-27 14:55:17 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-01-27 14:55:17 +0100 |
| commit | a7ef4380d97a32e00d8ab23eeafa0bedfbc97838 (patch) | |
| tree | 03b8f133de95dbff549e6da9f293441bf369041f /src/dotty/tools/dotc/core/Flags.scala | |
| parent | d9a37eaf5d36d772d59bca81237c19b3eb11db42 (diff) | |
| download | dotty-a7ef4380d97a32e00d8ab23eeafa0bedfbc97838.tar.gz dotty-a7ef4380d97a32e00d8ab23eeafa0bedfbc97838.tar.bz2 dotty-a7ef4380d97a32e00d8ab23eeafa0bedfbc97838.zip | |
Simplified RefinedTypes, keeping only the unary variant.
Diffstat (limited to 'src/dotty/tools/dotc/core/Flags.scala')
0 files changed, 0 insertions, 0 deletions