Block scary types for [de]serialization (closes #98)

1 files changed, 14 insertions, 0 deletions

diff --git a/tests/serializingXml.ur b/tests/serializingXml.ur
new file mode 100644
index 00000000..34eb3436
--- /dev/null
+++ b/tests/serializingXml.ur
@@ -0,0 +1,14 @@
+fun alerts n =
+    if n <= 0 then
+        return ()
+    else
+        (alert ("Alert #" ^ show n);
+         alerts (n - 1))
+
+cookie uhoh : serialized xbody
+
+fun main () : transaction page =
+    setCookie uhoh {Value = serialize <xml><active code={alerts 3; return <xml>Yay!</xml>}/></xml>,
+                    Expires = None,
+                    Secure = False};
+    return <xml></xml>