comparison 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
comparison
equal deleted inserted replaced
1086:99aebdf30257 1087:e81434513720
1 fun main () =
2 s1 <- source "";
3 s2 <- source "";
4
5 let
6 fun echo s = return s
7
8 fun echoer () =
9 v1 <- get s1;
10 v1' <- rpc (echo v1);
11 set s2 v1'
12 in
13 return <xml><body>
14 <dyn signal={v <- signal s2; return (cdata v)}/><hr/>
15 <ctextbox source={s1}/> <button onclick={echoer ()}/>
16 </body></xml>
17 end