diff options
| author | odersky <odersky@gmail.com> | 2016-07-21 15:57:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-21 15:57:02 +0200 |
| commit | 80a65f4b2512bdf1dc46144bea1c000d39319872 (patch) | |
| tree | 3153a177e298d5416a0a187163a48d4ba6503154 /src/dotty/tools/dotc/config/ScalaSettings.scala | |
| parent | 990663624bdaa93bd7db5f64be78f3ca26d59633 (diff) | |
| parent | 9ccb47ae2e9ae34a0ebd6bafbf6f327b39fc8d4a (diff) | |
| download | dotty-80a65f4b2512bdf1dc46144bea1c000d39319872.tar.gz dotty-80a65f4b2512bdf1dc46144bea1c000d39319872.tar.bz2 dotty-80a65f4b2512bdf1dc46144bea1c000d39319872.zip | |
Merge pull request #1395 from dotty-staging/fix-#1378
Fix #1378: Propagate more knowledge of result type into applications
Diffstat (limited to 'src/dotty/tools/dotc/config/ScalaSettings.scala')
0 files changed, 0 insertions, 0 deletions