diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-03-18 17:21:46 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-06 13:15:28 +0200 |
| commit | 8b1340b9b73d319ef7ac8f7f3bdaa75943de277e (patch) | |
| tree | 36a60cc7d5f05289e39b17059355144e4e718ed3 /compiler/src/dotty/tools/dotc/core/Types.scala | |
| parent | e4d499945b93f95bbff7e9fe71aeffc9af4fc8bd (diff) | |
| download | dotty-8b1340b9b73d319ef7ac8f7f3bdaa75943de277e.tar.gz dotty-8b1340b9b73d319ef7ac8f7f3bdaa75943de277e.tar.bz2 dotty-8b1340b9b73d319ef7ac8f7f3bdaa75943de277e.zip | |
Generalize comparisons from PolyTypes to TypeLambdas
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions