diff options
author | Martin Odersky <odersky@gmail.com> | 2016-01-30 20:01:14 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-02-09 09:40:52 +0100 |
commit | 7ccd02c2cd23e4187f3e3a378973704cecd6459a (patch) | |
tree | c1efbbb4b0f73cc94b83c011bbcdc1b34e34ff9b /tests | |
parent | 1b7745e5f9c0e251436b33247133f3810838cf12 (diff) | |
download | dotty-7ccd02c2cd23e4187f3e3a378973704cecd6459a.tar.gz dotty-7ccd02c2cd23e4187f3e3a378973704cecd6459a.tar.bz2 dotty-7ccd02c2cd23e4187f3e3a378973704cecd6459a.zip |
Realizability refactoring
Distinguish between isStable and isRealizable.
Issue migration warnings for realizibility failures.
Provide error diagnostics why something is not realizable.
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions