diff tests/jsuni.ur @ 1087:e81434513720

Proper JavaScript-side URI escaping/de-escaping; fix C-side URL encoding of big characters
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Dec 2009 10:44:53 -0500
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/jsuni.ur	Thu Dec 24 10:44:53 2009 -0500
@@ -0,0 +1,17 @@
+fun main () =
+    s1 <- source "";
+    s2 <- source "";
+
+    let
+        fun echo s = return s
+
+        fun echoer () =
+            v1 <- get s1;
+            v1' <- rpc (echo v1);
+            set s2 v1'
+    in
+        return <xml><body>
+          <dyn signal={v <- signal s2; return (cdata v)}/><hr/>
+          <ctextbox source={s1}/> <button onclick={echoer ()}/>
+        </body></xml>
+    end