diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-09-23 12:25:06 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-09-23 12:25:06 +0200 |
| commit | 625d7ad00d43fb77df55c1ace30db1e6ccdf6179 (patch) | |
| tree | 43db21093d4c532c203b65e5756a04407a1d1912 /src/dotty/tools/dotc/core/Symbols.scala | |
| parent | 283c41637ce5e50655c31e729fa4c0baf3ece185 (diff) | |
| download | dotty-625d7ad00d43fb77df55c1ace30db1e6ccdf6179.tar.gz dotty-625d7ad00d43fb77df55c1ace30db1e6ccdf6179.tar.bz2 dotty-625d7ad00d43fb77df55c1ace30db1e6ccdf6179.zip | |
Changed type comparers to compare symbols of standard types instead of types themselves
Types themselves are not unique, for instance, scala.Any would be
TypeRef(ThisType(scala), Any)
or
TypeRef(TermRef(ThisType(_root_), scala), Any)
Even if we pick only one internally we still risk unpickling both forms when reading scala 2 - compiled files.
The only way to avoid this would be to change the ThisType constructor to always return a TypeRef for a module.
Diffstat (limited to 'src/dotty/tools/dotc/core/Symbols.scala')
0 files changed, 0 insertions, 0 deletions