aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/1850.v
blob: 26b48093b7d7f895750e438f37267d87ad67b1d8 (plain)
1
2
3
4
Parameter P : Type -> Type -> Type.
Notation      "e |= t --> v" := (P e t v)     (at level 100, t at level 54).
Fail Check (nat |= nat --> nat).