Date manipulation: Difference between revisions

val smltime = fn input => (* parse given format *)

let

val x mth::day::year::itime::t = String.fields (fnChar.isSpace x=>x=input #" ") input;

val tmp val tmp = String.fields (fn x=> x= #":") (List.nth(x,3))itime;

val h val h = (valOf(Int.fromString (hd tmp) )) + (if String.isSuffix "pm" (hd(tl tmp)) then 12 else 0 ) ;

val ms val ms = (String.extract (hd (tl tmp), 0 ,SOME 2))^":00" ;

val mth val mth = String.extract (hd xmth,0,SOME 3)

in

(* Sat is a dummy *)

Date.fromString ("Sat "^mth ^" " ^ (StringCvt.padLeft #"0" 2 (hd (tl x))day) ^ " "^(StringCvt.padLeft #"0" 2 (Int.toString h))^":" ^ ms^" "^(List.nth(x,2)) year )