diff options
Diffstat (limited to 'tests/patmat/gadt.check')
| -rw-r--r-- | tests/patmat/gadt.check | 21 |
1 files changed, 4 insertions, 17 deletions
diff --git a/tests/patmat/gadt.check b/tests/patmat/gadt.check index f2154fa60..71860e52a 100644 --- a/tests/patmat/gadt.check +++ b/tests/patmat/gadt.check @@ -1,17 +1,4 @@ -./tests/patmat/gadt.scala:13: warning: match may not be exhaustive. -It would fail on the following input: IntLit(_) - def foo1b(x: Expr[Int]) = x match { - ^ -./tests/patmat/gadt.scala:22: warning: match may not be exhaustive. -It would fail on the following input: Or(_, _) - def foo2b(x: Expr[Boolean]) = x match { - ^ -./tests/patmat/gadt.scala:45: warning: match may not be exhaustive. -It would fail on the following input: BooleanLit(_), IntLit(_) - def foo4b(x: Expr[_]) = x match { - ^ -./tests/patmat/gadt.scala:55: warning: match may not be exhaustive. -It would fail on the following input: Sum(_, _) - def foo5b[T <: Int](x: Expr[T]) = x match { - ^ -four warnings found
\ No newline at end of file +13: Pattern Match Exhaustivity: IntLit(_) +22: Pattern Match Exhaustivity: Or(_, _) +45: Pattern Match Exhaustivity: BooleanLit(_), IntLit(_) +55: Pattern Match Exhaustivity: Sum(_, _) |