Module CoreSource

Core is an extension of Core_kernel with Unix APIs. The unmodified libraries can be found there.

In particular, Core has comprehensive implementation of times (Time and Time_ns), where some details are platform-specific.

Some modules are mere extensions of those existing in Core_kernel, like Bigstring, Caml, Time, and Md5, where what's added is handlers for reading from or writing to Unix sockets and file descriptors, or support for floating-point numbers. Other modules are entirely new, like:

A few modules in Core don't have any platform-specific functionality but haven't yet been ported to Core_kernel for technical reasons (like a dependency on Time, which until recently was only in Core):

Sourcemodule Caml : sig ... end

Extends Core_kernel.Caml.

Sourcemodule Command : sig ... end
Sourcemodule Core_stable : sig ... end
Sourcemodule Date : sig ... end
Sourcemodule Filename : sig ... end

Warning! this library assumes we are in a POSIX compliant OS.

Sourcemodule Interval : sig ... end
Sourcemodule Interval_intf : sig ... end
Sourcemodule Digest = Md5
Sourcemodule Mutex : sig ... end
Sourcemodule Signal : sig ... end

Signal handlers.

Sourcemodule Sys : sig ... end

System interface.

Sourcemodule Thread : sig ... end

Lightweight threads.

Sourcemodule Time : sig ... end
Sourcemodule Time_common : sig ... end

This module type is basically the intersection of the module types of Core.Time and Core.Time_ns. We verify that that relation holds in check_std.ml.

Sourcemodule Time_ns : sig ... end
Sourcemodule Unix : sig ... end

This file is a modified version of unixLabels.mli from the OCaml distribution. Many of these functions raise exceptions but do not have a _exn suffixed name.

Sourcemodule Version_util = Version_util