diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-05-06 19:27:44 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-05-23 16:11:45 +0200 |
| commit | a88de62e5d60fe8ba83d99bd463797e6b173e3d1 (patch) | |
| tree | ac00eace9d22fde844eab1931cdb1896d35e36ff /src/dotty/tools/dotc/core/Types.scala | |
| parent | ec71e006ea5d506b55ba624999b0d2aa01b2d7c1 (diff) | |
| download | dotty-a88de62e5d60fe8ba83d99bd463797e6b173e3d1.tar.gz dotty-a88de62e5d60fe8ba83d99bd463797e6b173e3d1.tar.bz2 dotty-a88de62e5d60fe8ba83d99bd463797e6b173e3d1.zip | |
Safe equality for core classes:
Name, Symbol, Denotation, Type.
This uncovered two nonsensical comparisons, one in CollectEntryPoints,
the other in DottyBackendInterface.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 114e6c908..71ea6d2b3 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -38,6 +38,8 @@ object Types { @sharable private var nextId = 0 + implicit def eqType: Eq[Type, Type] = Eq + /** The class of types. * The principal subclasses and sub-objects are as follows: * |