blob: a5ad998bc5d67c5c68def1b85a3c0c24c16f3516 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
patmatnew.scala:526: warning: match is not exhaustive!
def go(tok : Token) = tok.matching match {
^
patmatnew.scala:595: warning: match is not exhaustive!
(None:Option[Boolean]) match {
^
patmatnew.scala:815: warning: match is not exhaustive!
(EmptyTree: Tree) match {
^
warning: there were unchecked warnings; re-run with -unchecked for details
four warnings found
|