Am Samstag, den 05.09.2015, 13:52 +0200 schrieb "Markus W. Weißmann":
> Hi,
> 
> * Netsys.clock_gettime from ocamlnet [4] implements ’struct timespec’ but has it as float/int for seconds/nanoseconds (whats with the float? All systems I found use either in32 or int64 for time_t)

I picked float for ease of use, and better compatibility with the time
functions in Unix (which all use floats for time_t). Only the integral
part is put into the float which provides 52 bits for the mantissa, so
it is really large enough.

> I’d like my library to be a good OCaml citizen and _not_ implement my own special purpose timing functions (which are incompatible to everyone else’s).
> Ptime looks like the ultimate solution for the datatype; ocamlnet gets the closest to my requirements — while being a gigantic library most of which has nothing to do with the domain of mqueue.

You'd only need the netsys part, which is practically standalone. None
of the other modules would get linked in. (I guess your are programming
for embedded platforms as POSIX message queues are typically found
there, and the size of executable probably matters.)

Of course you could also just copy the C code. OCamlnet has a liberal
license.

Gerd

> I’m a bit stuck on this one and would like to get some advice — and/or corrections if I misinterpreted one of the above solutions.
> 
> regards
> -Markus
> 
> [1] http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/time.h.html
> [2] http://mqueue.forge.ocamlcore.org/
> [3] http://caml.inria.fr/pub/docs/manual-ocaml/libref/Unix.html
> [4] http://projects.camlcity.org/projects/dl/ocamlnet-4.0.4/doc/html-main/Netsys_posix.html
> [5] http://erratique.ch/software/mtime
> [6] http://erratique.ch/software/ptime
> 
> -- 
> Markus Weißmann, M.Sc.
> Technische Universität München
> Institut für Informatik
> Boltzmannstr. 3
> D-85748 Garching
> Germany
> http://wwwknoll.in.tum.de/
> 
> 

-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------