diff options
author | Martin Odersky <odersky@gmail.com> | 2016-10-09 22:29:59 +0200 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-10-12 16:12:53 +0200 |
commit | 6807b4454529b70d2d8a6819c51db850d06078a1 (patch) | |
tree | b5cb7af7d8fd3f683222400ae7474b0455b38707 /src/dotty/tools/dotc/core/ConstraintHandling.scala | |
parent | 5456c8b944056584ad7295d7e4d2a3b7a16362f8 (diff) | |
download | dotty-6807b4454529b70d2d8a6819c51db850d06078a1.tar.gz dotty-6807b4454529b70d2d8a6819c51db850d06078a1.tar.bz2 dotty-6807b4454529b70d2d8a6819c51db850d06078a1.zip |
Refactor from distribute{And,Or} to {meet,join}Info
The refactored logic only applies to infos of denotations, not
general types. The reactoring avoids special cases down the road
then PolyTypes and MethodTypes can be used for terms as well as
type(bounds).
Diffstat (limited to 'src/dotty/tools/dotc/core/ConstraintHandling.scala')
0 files changed, 0 insertions, 0 deletions