diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-24 18:11:27 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-24 18:11:27 +0100 |
commit | 25761935463a49376bf4462d89877ccbb823951e (patch) | |
tree | 69e396a45203c7773c48edf894c0de69497d1557 /src/dotty/tools/dotc/core/OrderingConstraint.scala | |
parent | cdce02dc1d9c957621165545848c1f7bc358bd6d (diff) | |
download | dotty-25761935463a49376bf4462d89877ccbb823951e.tar.gz dotty-25761935463a49376bf4462d89877ccbb823951e.tar.bz2 dotty-25761935463a49376bf4462d89877ccbb823951e.zip |
Some small polishings in TypeComparer
Diffstat (limited to 'src/dotty/tools/dotc/core/OrderingConstraint.scala')
0 files changed, 0 insertions, 0 deletions