diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-02 11:08:28 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-11-22 01:35:07 +0100 |
commit | 8a61ff432543a29234193cd1f7c14abd3f3d31a0 (patch) | |
tree | a8147561d307af862c295cfc8100d271063bb0dd /compiler/src/dotty/tools/dotc/config/Printers.scala | |
parent | 6a455fe6da5ff9c741d91279a2dc6fe2fb1b472f (diff) | |
download | dotty-8a61ff432543a29234193cd1f7c14abd3f3d31a0.tar.gz dotty-8a61ff432543a29234193cd1f7c14abd3f3d31a0.tar.bz2 dotty-8a61ff432543a29234193cd1f7c14abd3f3d31a0.zip |
Move compiler and compiler tests to compiler dir
Diffstat (limited to 'compiler/src/dotty/tools/dotc/config/Printers.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/config/Printers.scala | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/compiler/src/dotty/tools/dotc/config/Printers.scala b/compiler/src/dotty/tools/dotc/config/Printers.scala new file mode 100644 index 000000000..002d0f933 --- /dev/null +++ b/compiler/src/dotty/tools/dotc/config/Printers.scala @@ -0,0 +1,34 @@ +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 dottydoc: Printer = noPrinter + val core: Printer = noPrinter + val typr: Printer = noPrinter + val constr: Printer = noPrinter + val checks: Printer = noPrinter + val overload: Printer = noPrinter + val implicits: Printer = noPrinter + val implicitsDetailed: Printer = noPrinter + val subtyping: Printer = noPrinter + val unapp: Printer = noPrinter + val gadts: Printer = noPrinter + val hk: Printer = noPrinter + val variances: Printer = noPrinter + val incremental: Printer = noPrinter + val config: Printer = noPrinter + val transforms: Printer = noPrinter + val completions: Printer = noPrinter + val cyclicErrors: Printer = noPrinter + val pickling: Printer = noPrinter + val inlining: Printer = noPrinter +} |