adam@1352: table dates : { Date : time }
adam@1352:
adam@1352: fun aform () =
adam@1352: let
adam@1352: val a : time = readError "01/02/03 04:06:07"
adam@1352: in
adam@1352: dml(INSERT INTO dates (Date) VALUES ({[a]}));
adam@1352: ds <- queryX (SELECT * FROM dates)
adam@1352: (fn r => {[r.Dates.Date]}
);
adam@1352: return {ds}
adam@1352: end
adam@1352:
adam@1352: fun main () =
adam@1352: return