diff lib/ur/basis.urs @ 1786:d794149b3713

<active>
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 13:55:35 -0400
parents ffd7ed3bc0b7
children 69daa6d70299
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Jul 21 11:59:41 2012 -0400
+++ b/lib/ur/basis.urs	Sat Jul 21 13:55:35 2012 -0400
@@ -767,6 +767,9 @@
 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 [] [] []