aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/failure/cases.v
blob: 18faaf5c99c7d8b8bd7c6412e784772df7c70854 (plain)
1
2
3
4
5
6
7
8
9
(* Non exhaustive pattern-matching *)

Check
  (fun x =>
   match x, x with
   | O, S (S y) => true
   | O, S x => false
   | S y, O => true
   end).