From 942fe3c23ed38cfd4f9d1c2d920a528e79f09d92 Mon Sep 17 00:00:00 2001 From: Anil Madhavapeddy Date: Tue, 5 Nov 2013 10:24:54 -0500 Subject: [PATCH] Two code fixes: for latest Core and Ctypes interface changes --- code/ffi/datetime.ml | 4 ++-- code/imperative-programming/time_converter2.ml | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/code/ffi/datetime.ml b/code/ffi/datetime.ml index f3fa0c5..8d1ded3 100644 --- a/code/ffi/datetime.ml +++ b/code/ffi/datetime.ml @@ -9,8 +9,8 @@ let ctime = foreign "ctime" (ptr time_t @-> returning string) type timeval let timeval : timeval structure typ = structure "timeval" -let tv_sec = field timeval "tv_sec" long -let tv_usec = field timeval "tv_usec" long +let tv_sec = timeval *:* long +let tv_usec = timeval *:* long let () = seal timeval type timezone diff --git a/code/imperative-programming/time_converter2.ml b/code/imperative-programming/time_converter2.ml index ca51c94..5844f4a 100644 --- a/code/imperative-programming/time_converter2.ml +++ b/code/imperative-programming/time_converter2.ml @@ -5,6 +5,6 @@ let () = match In_channel.input_line stdin with | None -> failwith "No timezone provided" | Some zone_string -> - let zone = Zone.find_exn zone_string in + let zone = Time.Zone.find_exn zone_string in let time_string = Time.to_string_abs (Time.now ()) ~zone in - printf "The time in %s is %s.\n%!" (Zone.to_string zone) time_string + printf "The time in %s is %s.\n%!" (Time.Zone.to_string zone) time_string