diff options
| author | odersky <odersky@gmail.com> | 2016-02-19 18:09:31 +0100 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2016-02-19 18:09:31 +0100 |
| commit | dfa3ec849ff62f682092c450129e78d43829bde3 (patch) | |
| tree | f6b812c0ae5995740bff6c04f0995b23db45d4dc /src/dotty/tools/dotc/transform/PatternMatcher.scala | |
| parent | 2217a4ec9ea563f01b07c852a3834d738cd6439d (diff) | |
| parent | 6f382a51a522673de75d154da2632108e7a1016c (diff) | |
| download | dotty-dfa3ec849ff62f682092c450129e78d43829bde3.tar.gz dotty-dfa3ec849ff62f682092c450129e78d43829bde3.tar.bz2 dotty-dfa3ec849ff62f682092c450129e78d43829bde3.zip | |
Merge pull request #1066 from dotty-staging/fix-#997
Fix #997
Diffstat (limited to 'src/dotty/tools/dotc/transform/PatternMatcher.scala')
0 files changed, 0 insertions, 0 deletions