blob: 19e7e1891eaae50835c2ae46acb2970b7dbfaa15 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
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 default: Printer = new Printer
val core: Printer = noPrinter
val typr: Printer = new Printer
val constr: Printer = noPrinter
val overload: Printer = noPrinter
val implicits: Printer = new Printer
val unapp: Printer = noPrinter
val completions = noPrinter
val gadts = noPrinter
}
|