blob: aef05e6cd45b12cc7bd693ffde13169b410a0d9a (
plain)
1
2
3
4
5
6
7
8
9
|
Fail #[canonical=yes, canonical=no] Definition a := 3.
Fail #[universes(polymorphic=yes,polymorphic=no)] Definition a := 3.
Fail #[universes(polymorphic=foo)] Definition a := 3.
Fail #[universes(polymorphic(foo))] Definition a := 3.
Fail #[universes(polymorphic(foo,bar))] Definition a := 3.
|
