diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-01-03 14:21:33 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-01-03 14:21:33 +0100 |
| commit | fd5e45bd71c972fddc0f835cdb011beb76a77770 (patch) | |
| tree | 619ca441a99605f228add3667ae18d04d463d626 /src/dotty/tools/dotc/core/Types.scala | |
| parent | 2d500b7746a38647c7a97db99207ca4972cd49eb (diff) | |
| download | dotty-fd5e45bd71c972fddc0f835cdb011beb76a77770.tar.gz dotty-fd5e45bd71c972fddc0f835cdb011beb76a77770.tar.bz2 dotty-fd5e45bd71c972fddc0f835cdb011beb76a77770.zip | |
Making printing configurable.
Special by-topic printers that can be turned off.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index afe531d4e..a3639cbde 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -25,6 +25,7 @@ import printing.Printer import scala.util.hashing.{ MurmurHash3 => hashing } import collection.{mutable, Seq, breakOut} import config.Config +import config.Printers._ import language.implicitConversions object Types { @@ -1708,7 +1709,7 @@ object Types { /** Instantiate variable with given type */ def instantiateWith(tp: Type)(implicit ctx: Context): Type = { assert(tp ne this) - println(s"instantiating ${this.show} with ${tp.show}") // !!!DEBUG + typr.println(s"instantiating ${this.show} with ${tp.show}") assert(ctx.typerState.constraint contains this) // !!! DEBUG if (ctx.typerState eq owningState) inst = tp ctx.typerState.constraint = ctx.typerState.constraint.replace(origin, tp) |