# HG changeset patch # User Adam Chlipala # Date 1376079224 14400 # Node ID a3d795fbecb98f1e34ab1cecc04e66fc659221a0 # Parent 52043ad66ce7204bb8fd000d998ac6cbc9fd55e4 Add 'rel' attribute to diff -r 52043ad66ce7 -r a3d795fbecb9 lib/ur/basis.urs --- 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, diff -r 52043ad66ce7 -r a3d795fbecb9 tests/arel.ur --- /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 + Here +