blob: 263f1eb0cc4cd4ca87bbd57b394c8b5983d20081 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
package dotty.tools.dotc.config
object Printers {
class Printer {
def println(msg: => String): Unit = System.out.println(msg)
}
object noPrinter extends Printer {
override def println(msg: => String): Unit = ()
}
val core: Printer = noPrinter
val typr: Printer = new Printer
val constr: Printer = noPrinter
val unapp: Printer = noPrinter
}
|