diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-16 17:27:42 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-11-17 10:04:24 +0100 |
| commit | e73397ff48a518ffa5c7b381d04e210f401ab4f9 (patch) | |
| tree | f14d437b17b7c1583b83568f1f4467998dc1027f /interfaces/src/main/java/dotty/tools | |
| parent | 17ef1d85a55f049fa1f21dd279e47d61fe3eaa8c (diff) | |
| download | dotty-e73397ff48a518ffa5c7b381d04e210f401ab4f9.tar.gz dotty-e73397ff48a518ffa5c7b381d04e210f401ab4f9.tar.bz2 dotty-e73397ff48a518ffa5c7b381d04e210f401ab4f9.zip | |
Fix #1708: return ErrorTree in `typedPackageDef` if pkg has no symbol
Diffstat (limited to 'interfaces/src/main/java/dotty/tools')
0 files changed, 0 insertions, 0 deletions