diff options
author | odersky <odersky@gmail.com> | 2016-08-26 18:39:41 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-26 18:39:41 +0300 |
commit | 959ea0cad3a2ffe441b5e406d26cddbd6cc431ee (patch) | |
tree | 7470c7a2f049cb2722d662a983389cbd91825611 /src/dotty/tools/dotc/core/OrderingConstraint.scala | |
parent | fb19d0bd248c01f29c9e217170e20f46d84e3028 (diff) | |
parent | e61ff6f4cfb632b11b7e54e2904706d382634eda (diff) | |
download | dotty-959ea0cad3a2ffe441b5e406d26cddbd6cc431ee.tar.gz dotty-959ea0cad3a2ffe441b5e406d26cddbd6cc431ee.tar.bz2 dotty-959ea0cad3a2ffe441b5e406d26cddbd6cc431ee.zip |
Merge pull request #1461 from dotty-staging/fixes-gadts
Fixes of GADTs and test recategorization.
Diffstat (limited to 'src/dotty/tools/dotc/core/OrderingConstraint.scala')
0 files changed, 0 insertions, 0 deletions