cookie user : {EMail : string}
fun main () =
ro <- getCookie user;
case ro of
Some u => welcome u
| _ => login ()
and welcome u = return
Welcome {[u.EMail]}. Logout
and logout () =
clearCookie user;
main ()
and login () = return
and signin r =
setCookie user {Value = {EMail = r.EMail},
Expires = None, (* Some (readError "2012-11-6
00:00:00"), *)
Secure = False
};
main ()