summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-24 10:44:53 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-24 10:44:53 -0500
commit811e5474313fc8fc959bee1a58e51c4c55f350ec (patch)
treecf76b77aad3472dffdc66f3b00386d2fbe0b84b9 /tests
parent0c607fbf24eb6e55f99f80ee725c02f94cc10d1a (diff)
Proper JavaScript-side URI escaping/de-escaping; fix C-side URL encoding of big characters
Diffstat (limited to 'tests')
-rw-r--r--tests/jsuni.ur17
-rw-r--r--tests/jsuni.urp3
-rw-r--r--tests/jsuni.urs1
3 files changed, 21 insertions, 0 deletions
diff --git a/tests/jsuni.ur b/tests/jsuni.ur
new file mode 100644
index 00000000..9a1e3e90
--- /dev/null
+++ b/tests/jsuni.ur
@@ -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
diff --git a/tests/jsuni.urp b/tests/jsuni.urp
new file mode 100644
index 00000000..0eb968e3
--- /dev/null
+++ b/tests/jsuni.urp
@@ -0,0 +1,3 @@
+debug
+
+jsuni
diff --git a/tests/jsuni.urs b/tests/jsuni.urs
new file mode 100644
index 00000000..6ac44e0b
--- /dev/null
+++ b/tests/jsuni.urs
@@ -0,0 +1 @@
+val main : unit -> transaction page