diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-26 18:44:34 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-26 18:52:33 +0100 |
commit | aafa0c16dbf95fb880573dea6f9ee6db02470740 (patch) | |
tree | aa738e536b5032261315cd2453f0393b7657b602 /src/dotty/tools/dotc/typer/Implicits.scala | |
parent | 5b69fbbe68705ece7d892cbda555191853f1c5be (diff) | |
download | dotty-aafa0c16dbf95fb880573dea6f9ee6db02470740.tar.gz dotty-aafa0c16dbf95fb880573dea6f9ee6db02470740.tar.bz2 dotty-aafa0c16dbf95fb880573dea6f9ee6db02470740.zip |
New treatment of uniques
To avoid to always create a type before checking its uniqueness we specialize on the three most common categories: RefinedTypes, TypeBounds and NamedTypes.
Each category gets its own uniques map. Hashing is disentangled from Types.
The new treatement seems to give some improvement (2-5%?) but not much.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Implicits.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Implicits.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/typer/Implicits.scala b/src/dotty/tools/dotc/typer/Implicits.scala index 8a1b9f554..a8985cf36 100644 --- a/src/dotty/tools/dotc/typer/Implicits.scala +++ b/src/dotty/tools/dotc/typer/Implicits.scala @@ -23,6 +23,7 @@ import Constants._ import Inferencing._ import Applications._ import ErrorReporting._ +import Hashable._ import config.Config import config.Printers._ import collection.mutable |