aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/4318.v
blob: e3140ed5abbeb118d143acd0129c9c7dc06c0c42 (plain)
1
2
(* Check no anomaly is raised *)
Fail Definition foo p := match p with (x, y) z => tt end.