aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-07-21 13:55:35 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-07-21 13:55:35 -0400
commit17e8230265e8fb22d583c4ba33d4243f24d6b8bc (patch)
treedd773f933c8b843112da1e81715f42c40cab8d8f /lib
parenta8e63939847f6fb02b2dc030adca09e554adb89f (diff)
<active>
Diffstat (limited to 'lib')
-rw-r--r--lib/js/urweb.js6
-rw-r--r--lib/ur/basis.urs3
2 files changed, 9 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 35023924..87adc0a3 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -901,6 +901,12 @@ function setInnerHTML(node, html) {
runScripts(node);
}
+function active(s) {
+ var span = document.createElement("span");
+ addNode(span);
+ setInnerHTML(span, execF(s));
+}
+
function input(x, s, recreate, type, name) {
if (name) x.name = name;
if (type) x.type = type;
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 7f254a2f..8ac94668 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -767,6 +767,9 @@ val giveFocus : id -> transaction unit
val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> [ctx ~ [Dyn]] => unit
-> tag [Signal = signal (xml ([Dyn] ++ ctx) use bind)] ([Dyn] ++ ctx) [] use bind
+val active : unit
+ -> tag [Code = transaction xbody] body [] [] []
+
val head : unit -> tag [] html head [] []
val title : unit -> tag [] head [] [] []
val link : unit -> tag [Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] []