aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Substituters.scala
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2014-07-10 14:55:20 +0200
committerMartin Odersky <odersky@gmail.com>2014-07-17 11:02:01 +0200
commit1bb16c4ec5a5c677d2b606e652733cd7a3867a2b (patch)
tree0efa93dbe85a1355322c6edc3f685f08e745c7b0 /src/dotty/tools/dotc/core/Substituters.scala
parent1ac95a7209439116750592931e43981127950ad4 (diff)
downloaddotty-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.scala6
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)
}