From ed803fdc31115945a105626faab6bd302785f0e7 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Fri, 19 Oct 2018 16:48:45 -0400
Subject: Block scary types for [de]serialization (closes #98)

---
 tests/serializingXml.ur | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 tests/serializingXml.ur

(limited to 'tests')

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>
-- 
cgit v1.2.3