diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-04-03 19:02:42 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-04-03 19:02:42 +0200 |
| commit | 609aeee025eec0bfc6680bf7fe717d0083cfb15b (patch) | |
| tree | 285e0ed9fe11ddacac7277cf928b62ff48ce677f /src/dotty/tools/dotc/core/TypeOps.scala | |
| parent | df79c5efc7190e7a61ce7ac526aca0aac520ea9f (diff) | |
| download | dotty-609aeee025eec0bfc6680bf7fe717d0083cfb15b.tar.gz dotty-609aeee025eec0bfc6680bf7fe717d0083cfb15b.tar.bz2 dotty-609aeee025eec0bfc6680bf7fe717d0083cfb15b.zip | |
Improvements in tracing and some Type fixes.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeOps.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/TypeOps.scala b/src/dotty/tools/dotc/core/TypeOps.scala index 847fb0ebd..f86cc5296 100644 --- a/src/dotty/tools/dotc/core/TypeOps.scala +++ b/src/dotty/tools/dotc/core/TypeOps.scala @@ -19,6 +19,7 @@ trait TypeOps { this: Context => else toPrefix(pre.baseType(cls).normalizedPrefix, cls.owner, thiscls) + /* !!! DEBUG ctx.traceIndented(s"$tp.asSeenFrom($pre, $cls)") */ { tp match { case tp: NamedType => val sym = tp.symbol @@ -43,6 +44,7 @@ trait TypeOps { this: Context => .mapOver(tp) } } + } class AsSeenFromMap(pre: Type, cls: Symbol) extends TypeMap { def apply(tp: Type) = asSeenFrom(tp, pre, cls, this) |