diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-11-21 15:59:59 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-11-24 14:57:49 +0100 |
| commit | f6ebe1ec66220db511d0080f3807c3a0512fc01c (patch) | |
| tree | b6917213086a870b17c8c51ae50bc1e7c73253a4 /src/dotty/tools/dotc/core/TypeOps.scala | |
| parent | 832957339c850a64fb7093f3ed6b19c91c5bdfac (diff) | |
| download | dotty-f6ebe1ec66220db511d0080f3807c3a0512fc01c.tar.gz dotty-f6ebe1ec66220db511d0080f3807c3a0512fc01c.tar.bz2 dotty-f6ebe1ec66220db511d0080f3807c3a0512fc01c.zip | |
Take off the training wheels for refined type comparisons.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
0 files changed, 0 insertions, 0 deletions