adamc@736: table t : {Id : int}
adamc@736:
adamc@736: cookie c : int
adamc@736:
adamc@736: fun setter r =
adamc@736: setCookie c (readError r.Id);
adamc@736: return Done
adamc@736:
adamc@736: fun writer () =
adamc@736: ido <- getCookie c;
adamc@736: case ido of
adamc@736: None => error No cookie
adamc@736: | Some id => dml (INSERT INTO t (Id) VALUES ({[id]}))
adamc@736:
adamc@736: fun preWriter () = return
adamc@736:
adamc@736:
adamc@736: Back
adamc@736:
adamc@736:
adamc@736: and main () = return
adamc@736:
adamc@736:
adamc@736:
adamc@736: