Mercurial > urweb
annotate tests/mproj.ur @ 2062:795b5b75453c
Add 'role' data attribute.
Note, that 'role' attribute is a part of reach ARIA API described here:
http://www.w3.org/TR/wai-aria/
Among 'role', it defines lots of aria-* attributes
| author | Sergey Mironov <grrwlf@gmail.com> |
|---|---|
| date | Mon, 07 Jul 2014 10:05:04 +0400 |
| parents | e571fb150a9f |
| children |
| rev | line source |
|---|---|
| adamc@849 | 1 structure M : sig |
| adamc@849 | 2 type t |
| adamc@849 | 3 val x : t |
| adamc@849 | 4 |
| adamc@849 | 5 structure S : sig |
| adamc@849 | 6 type u = t |
| adamc@849 | 7 |
| adamc@849 | 8 val eq : eq u |
| adamc@849 | 9 end |
| adamc@849 | 10 end = struct |
| adamc@849 | 11 type t = int |
| adamc@849 | 12 val x = 0 |
| adamc@849 | 13 |
| adamc@849 | 14 structure S = struct |
| adamc@849 | 15 type u = t |
| adamc@849 | 16 |
| adamc@849 | 17 val eq = _ |
| adamc@849 | 18 end |
| adamc@849 | 19 end |
| adamc@849 | 20 |
| adamc@849 | 21 val y = M.x = M.x |