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