diff options
author | Martin Odersky <odersky@gmail.com> | 2015-05-17 13:27:38 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-05-21 17:41:14 +0200 |
commit | 74490a2315ce8c38fdf6905e713e57005bf085c7 (patch) | |
tree | ed70dec976c29990f8583fb7033dca6f32b144d2 /docs | |
parent | ff96f13f0fb7f69d6dd747908281373031b9c545 (diff) | |
download | dotty-74490a2315ce8c38fdf6905e713e57005bf085c7.tar.gz dotty-74490a2315ce8c38fdf6905e713e57005bf085c7.tar.bz2 dotty-74490a2315ce8c38fdf6905e713e57005bf085c7.zip |
Fix DenotationNotDefinedHere in pattern matcher
This was uncovered by previous commit "Fix isSubType bug ...".
Also removed two redundants ".fresh" calls in "fresh.addMode".
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions