diff tests/setInner.ur @ 1702:06791667937e

New JavaScript FFI function: setInnerHTML
author Adam Chlipala <adam@chlipala.net>
date Wed, 14 Mar 2012 10:10:56 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/setInner.ur	Wed Mar 14 10:10:56 2012 -0400
@@ -0,0 +1,9 @@
+fun main () : transaction page =
+    x <- fresh;
+    s <- source 0;
+    q <- source "";
+    return <xml><body>
+      <span id={x}/>
+      <button onclick={v <- get q; set q (v ^ "!"); Ffi.setIt x <xml><dyn signal={n <- signal s; return <xml>n = {[n]}</xml>}/>{[v]}</xml>}/>
+      <button onclick={n <- get s; set s (n + 1)}/>
+    </body></xml>