diff options
author | Martin Odersky <odersky@gmail.com> | 2013-11-25 11:31:46 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-11-25 11:34:04 +0100 |
commit | 45ea511ec8ef12e0a192e4f4925923e75ef9ae3a (patch) | |
tree | f498f664b8a2b7133c86bc37c481aafccfef99b3 /src/dotty/tools/dotc/core/TypeComparer.scala | |
parent | 92ed954f361ed08ef4821afd530357379956904a (diff) | |
download | dotty-45ea511ec8ef12e0a192e4f4925923e75ef9ae3a.tar.gz dotty-45ea511ec8ef12e0a192e4f4925923e75ef9ae3a.tar.bz2 dotty-45ea511ec8ef12e0a192e4f4925923e75ef9ae3a.zip |
Types refactorings
- moving out type applicaton related operations to a decorator: TypeApplications
- converting some set operations to list operations to make them replayable.
- moving unused operations to Types.overflow
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeComparer.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeComparer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index b554e0bea..dfb9b382f 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -381,7 +381,7 @@ class TypeComparer(initctx: Context) extends DotClass { case _ => param.binder.paramBounds(param.paramNum) } - /** Defer constraining type variables when comnpared against prototypes */ + /** Defer constraining type variables when compared against prototypes */ def isMatchedByProto(proto: ProtoType, tp: Type) = tp.stripTypeVar match { case tp: PolyParam if constraint contains tp => true case _ => proto.isMatchedBy(tp) |