Re: [MirageOS-devel] Unix.tm, CLOCK: date handling in MirageOS

2015-06-22 Thread Hannes Mehnert
-BEGIN PGP SIGNED MESSAGE- Hash: SHA384 On 06/22/2015 18:43, Daniel Bünzli wrote: > What do you need exactly ? There's a difference between a) making > calendar field arithmetic b) getting POSIX timestamps out of/to > the various insane timestamps formats that exist in a multitude of > o

Re: [MirageOS-devel] Unix.tm, CLOCK: date handling in MirageOS

2015-06-22 Thread Daniel Bünzli
Le lundi, 22 juin 2015 à 16:50, Anil Madhavapeddy a écrit : > > An alternative would be to extract a Bos.OS.Time as an independent module > > Ptime for POSIX time that just provides what Bos.OS.Time provides [1] along > > with the above functions. > > And that would solve the above problem inde

Re: [MirageOS-devel] Unix.tm, CLOCK: date handling in MirageOS

2015-06-22 Thread Daniel Bünzli
Le lundi, 22 juin 2015 à 17:05, Hannes Mehnert a écrit : > Since I'm not aware of all the OCaml libraries, I wanted to see whether a > small pure calendar > library already exists in OCaml (because I expect others: irmin, imap, > ... to face the same issue). What do you need exactly ? There's a d

Re: [MirageOS-devel] Unix.tm, CLOCK: date handling in MirageOS

2015-06-22 Thread Hannes Mehnert
-BEGIN PGP SIGNED MESSAGE- Hash: SHA384 Daniel, On 06/22/2015 17:40, Daniel Bünzli wrote: > Le lundi, 22 juin 2015 à 11:32, Hannes Mehnert a écrit : >> I provided sensible default values for validity times of a X.509 >> certificate using Unix.tm/gmtime/time -- all of which are also >> a

Re: [MirageOS-devel] Unix.tm, CLOCK: date handling in MirageOS

2015-06-22 Thread Anil Madhavapeddy
On 22 Jun 2015, at 16:40, Daniel Bünzli wrote: > a) not to give its result with the weird offsets > b) simply return a recordless (y,m,d) * (hh,mm,ss) value — I guess people do > not care about wday, which only allows you to specify inconsistant dates. > > So Bos.OS.Time could simply have th

Re: [MirageOS-devel] Unix.tm, CLOCK: date handling in MirageOS

2015-06-22 Thread Daniel Bünzli
Le lundi, 22 juin 2015 à 11:32, Hannes Mehnert a écrit : > I provided sensible default values for validity times of a X.509 > certificate using Unix.tm/gmtime/time -- all of which are also > available in the mirage CLOCK module type. Is there a way that the > X.509 library uses these symbols from t

Re: [MirageOS-devel] Unix.tm, CLOCK: date handling in MirageOS

2015-06-22 Thread Anil Madhavapeddy
A lightweight time library would be useful. The issue with the current CLOCK interface is that it defines a record type within a module type, which is a little pointless -- it should be defined somewhere else such as a library. Two of Daniel's library's may help here: - Mtime defines monotonic ti

[MirageOS-devel] Unix.tm, CLOCK: date handling in MirageOS

2015-06-22 Thread Hannes Mehnert
-BEGIN PGP SIGNED MESSAGE- Hash: SHA384 Hi, is there a minimal invasive way to refer to Unix.tm inside of a library which should also be usable on mirage? I know that mirage provides the same type via CLOCK.tm, but I also do not want to depend on mirage just for the type. I provided sens