diff options
| author | odersky <odersky@gmail.com> | 2016-05-23 16:08:59 +0200 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2016-05-23 16:08:59 +0200 |
| commit | cec6467c7a430395e19d24d2700bda72ffab5d36 (patch) | |
| tree | 7ba46bad057d5bd16f23ba053d87b77c1e71cf31 /interfaces | |
| parent | 3e3df656a53ae66434bea94ae7c3a834369e2c39 (diff) | |
| parent | a5ae15e2943bd5319c86c1fc01753fc2ceeb36d6 (diff) | |
| download | dotty-cec6467c7a430395e19d24d2700bda72ffab5d36.tar.gz dotty-cec6467c7a430395e19d24d2700bda72ffab5d36.tar.bz2 dotty-cec6467c7a430395e19d24d2700bda72ffab5d36.zip | |
Merge pull request #1249 from dotty-staging/change-early-annots
Evaluate annotations before completing tree of definitions
Diffstat (limited to 'interfaces')
0 files changed, 0 insertions, 0 deletions