refine warning message

liufengyun · liufengyun · commit 2540bef9a145 · 2018-04-03T11:40:08.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala b/compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala
@@ -884,7 +884,7 @@ object messages {
     val msg =
       hl"""|match may not be exhaustive.
            |
-           |It would fail on: $uncovered"""
+           |It would fail on pattern case: $uncovered"""
 
 
     val explanation =

Original file line number	Diff line number	Diff line change
`@@ -884,7 +884,7 @@ object messages {`
`884`	`884`	`val msg =`
`885`	`885`	`hl"""\|match may not be exhaustive.`
`886`	`886`	`\|`
`887`		`- \|It would fail on: $uncovered"""`
	`887`	`+ \|It would fail on pattern case: $uncovered"""`
`888`	`888`
`889`	`889`
`890`	`890`	`val explanation =`