Changeset 5 in code for trunk/lib/date.ml
- Timestamp:
- Jun 13, 2022, 4:34:20 PM (3 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/lib/date.ml
r3 r5 4 4 let of_string (rfc : string) = rfc 5 5 let listing date = if date.edited <> "" then date.edited else date.created 6 let months = [|"Jan";"Feb";"Mar";"Apr";"May";"Jun";"Jul";"Aug";"Sep";"Oct";"Nov";"Dec"|] 6 7 let pretty_date date = 7 try Scanf.sscanf date "%4s-%2s-%2s" (fun y m d -> Printf.sprintf "%s %s %s" y m d) 8 with Scanf.Scan_failure s as e -> Printf.fprintf stderr "%s for %s\n" s date; raise e 8 try Scanf.sscanf date "%4s-%d-%2s" (fun y m d -> Printf.sprintf "%s %s, %s" d (months.(m-1)) y) 9 with 10 | Scanf.Scan_failure s as e -> Printf.fprintf stderr "%s for %s\n" s date; raise e 11 | Invalid_argument _s as e -> Printf.fprintf stderr "Parsing %s" date; raise e 9 12 let now () = Unix.time () |> Unix.gmtime |> 10 13 (fun t -> Printf.sprintf "%4d-%02d-%02dT%02d:%02d:%02dZ"
Note:
See TracChangeset
for help on using the changeset viewer.