diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-23 09:47:36 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-26 18:52:33 +0100 |
commit | 47b36b45455ecd73853dc63e9e047833cf4612c5 (patch) | |
tree | 8c89643d46d60d9875d992548ad03464a885ab78 /.gitignore | |
parent | a6d26a142672c47b457b6ef7d042e4880ad3345a (diff) | |
download | dotty-47b36b45455ecd73853dc63e9e047833cf4612c5.tar.gz dotty-47b36b45455ecd73853dc63e9e047833cf4612c5.tar.bz2 dotty-47b36b45455ecd73853dc63e9e047833cf4612c5.zip |
Split TermRefs with underlying OrTypes.
Implements
(A | B)(x) ==> A(x) | B(x)
in phase 2 of subtype checking. This is useful because it ensures that certain subtype judegments that should be correct are correct. It might also help prune the search space earlier.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions