Mercurial > urweb
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