There's now an implementation available. See: http://erratique.ch/software/ptime
Care was taken so that the module works correctly on 32-bit platforms on its precisely defined limits, code reviews (the logic is extensively commented) and testing are welcome. To install: opam pin add ptime http://erratique.ch/repos/ptime.git The interface and docs still changed quite a bit from last time (date-time support now uses local time to make it easier to translate from other time formats you may get), see: http://erratique.ch/software/ptime/doc/Ptime.html Best, Daniel _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
