test-suite/bugs/closed/bug_9229.v


1
2
3
4
5
6

(* There was a problem of freshness with Infix choice of vars *)

(* In particular, x and y were special... *)

Infix "#" := (fun x y => x + y) (at level 50, left associativity).
Check (3 # 5).