adamc@459: cookie c : string
adamc@459:
adamc@466: fun other () =
adamc@463: so <- getCookie c;
adamc@459: case so of
adamc@459: None => return No cookie
adamc@459: | Some s => return Cookie: {[s]}
adamc@466:
adamc@466: structure M = struct
adamc@466: fun aux () =
adamc@466: setCookie c "Hi";
adamc@466: so <- getCookie c;
adamc@466: case so of
adamc@466: None => return No cookie
adamc@466: | Some s => return Cookie: {[s]}
adamc@466: Other
adamc@466: end
adamc@466:
adamc@466: fun main () : transaction page = return
adamc@466: Other
adamc@466: Aux
adamc@466: