diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-10-13 01:49:08 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-13 01:49:08 +0200 |
commit | 1c62d0557417612fb90108fd6a3728d7c510f968 (patch) | |
tree | f354c07cba6a589474d4a9a6a528ec21e32702b9 /src/dotty/tools/dotc/core/Hashable.scala | |
parent | f738201973f6965b861fe4b0b580c2dfed61f158 (diff) | |
parent | 9e74d72d3638f70285aff88c53bab6cc57223d16 (diff) | |
download | dotty-1c62d0557417612fb90108fd6a3728d7c510f968.tar.gz dotty-1c62d0557417612fb90108fd6a3728d7c510f968.tar.bz2 dotty-1c62d0557417612fb90108fd6a3728d7c510f968.zip |
Merge pull request #1560 from dotty-staging/change-one-polytype
Harmonize PolyType and TypeLambda
Diffstat (limited to 'src/dotty/tools/dotc/core/Hashable.scala')
0 files changed, 0 insertions, 0 deletions