diff options
| author | odersky <odersky@gmail.com> | 2017-04-10 10:33:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-10 10:33:32 +0200 |
| commit | 318700fdaacd7e6707519e03f15a5ede99ca558a (patch) | |
| tree | 809f66b68f9200afd8daef9172921405469a39c7 /compiler/src/dotty/tools/dotc/config/Printers.scala | |
| parent | 80f9b6da66cb4eeabfd5ab97e422752ff134d590 (diff) | |
| parent | 2bf1e1913feb36d90d1c4e857c6cd9610d80ff61 (diff) | |
| download | dotty-318700fdaacd7e6707519e03f15a5ede99ca558a.tar.gz dotty-318700fdaacd7e6707519e03f15a5ede99ca558a.tar.bz2 dotty-318700fdaacd7e6707519e03f15a5ede99ca558a.zip | |
Merge pull request #2197 from dotty-staging/add-enum-exhaustiveness
Add enum exhaustivity checking
Diffstat (limited to 'compiler/src/dotty/tools/dotc/config/Printers.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/config/Printers.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/src/dotty/tools/dotc/config/Printers.scala b/compiler/src/dotty/tools/dotc/config/Printers.scala index 002d0f933..a77607d18 100644 --- a/compiler/src/dotty/tools/dotc/config/Printers.scala +++ b/compiler/src/dotty/tools/dotc/config/Printers.scala @@ -31,4 +31,5 @@ object Printers { val cyclicErrors: Printer = noPrinter val pickling: Printer = noPrinter val inlining: Printer = noPrinter + val exhaustivity: Printer = noPrinter } |