report uncovered patterns

[vekatze]

data sample {
| Foo
| Bar(int, int)
| Qux
| Buz(tau)
}

define foo(p: pair(list(int), sample)): unit {
  match p {
  | Pair(Cons(_, _), Foo) =>
    Unit
  | Pair(Nil, Bar(_, _)) =>
    Unit
  }
}

↓

(before)

/path/to/file.nt:9:3
Error: Encountered a non-exhaustive pattern matching

(after)

/path/to/file.nt:9:3
Error: This pattern matching does not cover:
       - Pair(Cons(_, _), Bar(_, _))
       - Pair(Cons(_, _), Buz(_))
       - Pair(Cons(_, _), Qux)