From 7ae10a42f8539c5285fcd53a901ae8ef4ecdb8cf Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 9 Aug 2013 16:13:44 -0400 Subject: Add 'rel' attribute to --- lib/ur/basis.urs | 2 +- tests/arel.ur | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) create mode 100644 tests/arel.ur diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 59715a7e..f3e29c53 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -848,7 +848,7 @@ val ul : bodyTag boxAttrs 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 --git a/tests/arel.ur b/tests/arel.ur new file mode 100644 index 00000000..5e181dea --- /dev/null +++ b/tests/arel.ur @@ -0,0 +1,3 @@ +fun main () : transaction page = return + Here + -- cgit v1.2.3