comparison 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
comparison
equal deleted inserted replaced
458:8f65b0fa3b29 459:f542bc3133dc
1 cookie c : string
2
3 fun main () : transaction page =
4 setCookie c "Hi";
5 so <- getCookie c;
6 case so of
7 None => return <xml>No cookie</xml>
8 | Some s => return <xml>Cookie: {[s]}</xml>
9