aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/failure/Case1.v
blob: 6e76d42d245f2cc9078dbf7f2ea519c36d9ea3ee (plain)
1
2
3
4
Fail Type match 0 with
     | x => 0
     | O => 1
     end.