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