blob: 3a76e0a9581b5ec13ad497595fcf1b84461dc60e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
./tests/patmat/patmat-indent.scala:9: warning: match may not be exhaustive.
It would fail on the following input: Nil
def foo1a[T](l: List[T]) = l match {
^
./tests/patmat/patmat-indent.scala:23: warning: match may not be exhaustive.
It would fail on the following input: _: Boolean
def foo2(b: Boolean) = b match {
^
./tests/patmat/patmat-indent.scala:27: warning: match may not be exhaustive.
It would fail on the following input: _: Int
def foo3(x: Int) = x match {
^
three warnings found
|