test-suite/bugs/closed/2406.v


1
2
3
4
5
6

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

(* This fails with a syntax error but it is not catched by Fail
Fail Definition crash_the_rooster f := .
*)