+ | [year, mon, day, hour, minute, second, _] =>
+ Date.toTime (Date.date {day = intFromSql day, hour = intFromSql mon, minute = intFromSql minute,
+ month = toMonth (intFromSql mon),
+ offset = NONE,
+ second = intFromSql second div 1000, year = intFromSql year})
+ | [year, mon, day, hour, minute, second] =>
+ Date.toTime (Date.date {day = intFromSql day, hour = intFromSql mon, minute = intFromSql minute,
+ month = toMonth (intFromSql mon),
+ offset = NONE,
+ second = intFromSql second div 1000, year = intFromSql year})
+ | _ => raise Format ("Invalid timestamp " ^ s)