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: adamc@734:
adamc@734: adamc@734: adamc@734: