changeset 1862:a3d795fbecb9

Add 'rel' attribute to <a>
author Adam Chlipala <adam@chlipala.net>
date Fri, 09 Aug 2013 16:13:44 -0400
parents 52043ad66ce7
children 32784d27b5bc
files lib/ur/basis.urs tests/arel.ur
diffstat 2 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/lib/ur/basis.urs	Fri Aug 09 16:04:16 2013 -0400
+++ b/lib/ur/basis.urs	Fri Aug 09 16:13:44 2013 -0400
@@ -848,7 +848,7 @@
 
 val hr : bodyTag boxAttrs
 
-val a : bodyTag ([Link = transaction page, Href = url, Target = string] ++ boxAttrs)
+val a : bodyTag ([Link = transaction page, Href = url, Target = string, Rel = string] ++ boxAttrs)
 
 val img : bodyTag ([Alt = string, Src = url, Width = int, Height = int,
                     Onabort = transaction unit, Onerror = transaction unit,
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/arel.ur	Fri Aug 09 16:13:44 2013 -0400
@@ -0,0 +1,3 @@
+fun main () : transaction page = return <xml><body>
+  <a link={main ()} rel="whoKnows">Here</a>
+</body></xml>