diff tests/cookie.ur @ 459:f542bc3133dc

Cookies through elaborate
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:29:55 -0500
parents
children 21bb5bbba2e9
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/cookie.ur	Thu Nov 06 10:29:55 2008 -0500
@@ -0,0 +1,9 @@
+cookie c : string
+
+fun main () : transaction page =
+    setCookie c "Hi";
+    so <- getCookie c;
+    case so of
+        None => return <xml>No cookie</xml>
+      | Some s => return <xml>Cookie: {[s]}</xml>
+