2406.v « shouldfail « closed « bugs « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/test-suite/bugs/closed/shouldfail/2406.v

blob: 112ea2bbfb68c0857e5db21983098791cb02450b (plain)

1
2
3

(* Check correct handling of unsupported notations *)
Notation "''" := (fun x => x) (at level 20).
Definition crash_the_rooster f := .