diff options
author | Martin Odersky <odersky@gmail.com> | 2016-04-15 14:04:23 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-04-15 14:04:23 +0200 |
commit | a77eb1592b5981419c99074caee876665bbf4daa (patch) | |
tree | cd3c8e3b64c1459d84d0ba0b941989de6a9ce036 /interfaces | |
parent | 74634c2a27539ade96d1e4dcab8f213a0bdbb465 (diff) | |
download | dotty-a77eb1592b5981419c99074caee876665bbf4daa.tar.gz dotty-a77eb1592b5981419c99074caee876665bbf4daa.tar.bz2 dotty-a77eb1592b5981419c99074caee876665bbf4daa.zip |
Small improvements in Types
1) Print RefinedTypes with their hashCode so that we can correlated with RefinedThis types
2) Fast abort of instantiate in case we have determined that it is not safe anyway
Diffstat (limited to 'interfaces')
0 files changed, 0 insertions, 0 deletions