diff options
author | Martin Odersky <odersky@gmail.com> | 2014-07-10 14:55:20 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-07-17 11:02:01 +0200 |
commit | 1bb16c4ec5a5c677d2b606e652733cd7a3867a2b (patch) | |
tree | 0efa93dbe85a1355322c6edc3f685f08e745c7b0 /src/dotty/tools/dotc/core/Substituters.scala | |
parent | 1ac95a7209439116750592931e43981127950ad4 (diff) | |
download | dotty-1bb16c4ec5a5c677d2b606e652733cd7a3867a2b.tar.gz dotty-1bb16c4ec5a5c677d2b606e652733cd7a3867a2b.tar.bz2 dotty-1bb16c4ec5a5c677d2b606e652733cd7a3867a2b.zip |
Small cleanups and additions.
Diffstat (limited to 'src/dotty/tools/dotc/core/Substituters.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Substituters.scala | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Substituters.scala b/src/dotty/tools/dotc/core/Substituters.scala index 1b96de47e..3d14317cb 100644 --- a/src/dotty/tools/dotc/core/Substituters.scala +++ b/src/dotty/tools/dotc/core/Substituters.scala @@ -205,7 +205,11 @@ trait Substituters { this: Context => final class SubstMap(from: List[Symbol], to: List[Type]) extends DeepTypeMap { def apply(tp: Type): Type = subst(tp, from, to, this) } - +/* not needed yet + final class SubstDealiasMap(from: List[Symbol], to: List[Type]) extends SubstMap(from, to) { + override def apply(tp: Type): Type = subst(tp.dealias, from, to, this) + } +*/ final class SubstSymMap(from: List[Symbol], to: List[Symbol]) extends DeepTypeMap { def apply(tp: Type): Type = substSym(tp, from, to, this) } |