aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/2850.v
blob: 64a93aeb00d99fb9182496e40e72c3247cf719c2 (plain)
1
2
Definition id {A} (x : A) := x.
Fail Compute id.