diff options
author | Martin Odersky <odersky@gmail.com> | 2016-06-29 19:57:02 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:35:02 +0200 |
commit | e749d832e9adebc502c961d743b3b29072f8116a (patch) | |
tree | 4c9bdc83925a118ce4cfe37f9d2deea2c6ee7613 /src/dotty/tools/dotc/typer/Typer.scala | |
parent | 6414f3bccf5319d273e8f5eb5461b111e9270b34 (diff) | |
download | dotty-e749d832e9adebc502c961d743b3b29072f8116a.tar.gz dotty-e749d832e9adebc502c961d743b3b29072f8116a.tar.bz2 dotty-e749d832e9adebc502c961d743b3b29072f8116a.zip |
Various tweaks
- Swap order of subtype tests
The theory is that if two refined types have the same refined name, then
they are likely to be of related classes. So it seems more fruitful to
check the argument before the typeconstructor because that way we test
the part that's more likely to fail first. Rough observations seem to
indicate a 3% improvement in the junit test time.
- Cleanups
Drop some unnecessary cases; improve comments.
- Smarter handling of LazyRefs in betaReduce
Try to combine type constructor and arguments under a
common LazyRef.
- Optimize RecType/RecType comparisons
- Fix compareHkLambda, make it check variances.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
0 files changed, 0 insertions, 0 deletions