annotate tests/cookie.ur @ 463:bb27c7efcd90

Reading cookies works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 12:08:41 -0500
parents 21bb5bbba2e9
children 1626dcba13ee
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@463 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>