aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/failure/Case4.v
blob: d00c9a05fafe361b77904d762bf6cca70b07d635 (plain)
1
2
3
4
5
6
7

Definition Berry := [x,y,z:bool] 
  Cases x y z of 
     true false _ => O
   | false _ true => (S O)
   | _ true false => (S (S O))
end.