Mercurial > urweb
annotate 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 |
| rev | line source |
|---|---|
| adamc@459 | 1 cookie c : string |
| adamc@459 | 2 |
| adamc@459 | 3 fun main () : transaction page = |
| adamc@459 | 4 setCookie c "Hi"; |
| adamc@459 | 5 so <- getCookie c; |
| adamc@459 | 6 case so of |
| adamc@459 | 7 None => return <xml>No cookie</xml> |
| adamc@459 | 8 | Some s => return <xml>Cookie: {[s]}</xml> |
| adamc@459 | 9 |