diff tests/cookieClear.ur @ 1423:bd6c90f5a428

Fix some cookie-related bugs in MonoReduce
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Feb 2011 08:46:46 -0500
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/cookieClear.ur	Thu Feb 10 08:46:46 2011 -0500
@@ -0,0 +1,19 @@
+cookie c : int
+
+fun setit () =
+    setCookie c {Value = 13,
+                 Expires = None,
+                 Secure = False};
+    return <xml/>
+
+fun doit () =
+    ro <- getCookie c;
+    clearCookie c;
+    case ro of
+      None => return <xml>None</xml>
+    | Some v => return <xml>Some {[v]}</xml>
+
+fun main () = return <xml><body>
+  <form><submit value="Set it!" action={setit}/></form>
+  <form><submit value="Get busy!" action={doit}/></form>
+</body></xml>