From 75e394770b534994830f6d80e649734275de5006 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 29 Mar 2020 18:02:46 +0200
Subject: Implement a name-based representation for vo files.

See CEP#44 for futher details.
---
 lib/system.mli | 36 +++++++++++++++++++++++++++++-------
 1 file changed, 29 insertions(+), 7 deletions(-)

(limited to 'lib/system.mli')

diff --git a/lib/system.mli b/lib/system.mli
index 00701379bd..7e02b76203 100644
--- a/lib/system.mli
+++ b/lib/system.mli
@@ -68,8 +68,9 @@ val file_exists_respecting_case : string -> string -> bool
   when the check fails, with the full file name and expected/observed magic
   numbers. *)
 
-type magic_number_error = {filename: string; actual: int; expected: int}
+type magic_number_error = {filename: string; actual: int32; expected: int32}
 exception Bad_magic_number of magic_number_error
+exception Bad_version_number of magic_number_error
 
 val raw_extern_state : int -> string -> out_channel
 
@@ -87,14 +88,35 @@ val with_magic_number_check : ('a -> 'b) -> 'a -> 'b
 val marshal_out : out_channel -> 'a -> unit
 val marshal_in : string -> in_channel -> 'a
 
-(** Clones of Digest.output and Digest.input (with nice error message) *)
+module ObjFile :
+sig
 
-val digest_out : out_channel -> Digest.t -> unit
-val digest_in : string -> in_channel -> Digest.t
+val magic_number : int32
 
-val marshal_out_segment : string -> out_channel -> 'a -> unit
-val marshal_in_segment : string -> in_channel -> 'a * int * Digest.t
-val skip_in_segment : string -> in_channel -> int * Digest.t
+type segment = {
+  name : string;
+  pos : int64;
+  len : int64;
+  hash : Digest.t;
+}
+
+type in_handle
+type out_handle
+
+val open_in : file:string -> in_handle
+val close_in : in_handle -> unit
+val marshal_in_segment : in_handle -> segment:string -> 'a * Digest.t
+val get_segment : in_handle -> segment:string -> segment
+val segments : in_handle -> segment CString.Map.t
+
+val open_out : file:string -> out_handle
+val close_out : out_handle -> unit
+val marshal_out_segment : out_handle -> segment:string -> 'a -> unit
+val marshal_out_binary : out_handle -> segment:string -> out_channel * (unit -> unit)
+(** Low-level API. This function returns a channel and a closure. The channel
+    should only be written to, and once done, the closure should be invoked. *)
+
+end
 
 (** {6 Time stamps.} *)
 
-- 
cgit v1.2.3


From 3dc9ec53041b4b34a601c2d454d0e47005561b30 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 15 Apr 2020 19:09:34 +0200
Subject: Move the ObjFile module to its own file.

---
 lib/system.mli | 30 ------------------------------
 1 file changed, 30 deletions(-)

(limited to 'lib/system.mli')

diff --git a/lib/system.mli b/lib/system.mli
index 7e02b76203..4a8c35b6ea 100644
--- a/lib/system.mli
+++ b/lib/system.mli
@@ -88,36 +88,6 @@ val with_magic_number_check : ('a -> 'b) -> 'a -> 'b
 val marshal_out : out_channel -> 'a -> unit
 val marshal_in : string -> in_channel -> 'a
 
-module ObjFile :
-sig
-
-val magic_number : int32
-
-type segment = {
-  name : string;
-  pos : int64;
-  len : int64;
-  hash : Digest.t;
-}
-
-type in_handle
-type out_handle
-
-val open_in : file:string -> in_handle
-val close_in : in_handle -> unit
-val marshal_in_segment : in_handle -> segment:string -> 'a * Digest.t
-val get_segment : in_handle -> segment:string -> segment
-val segments : in_handle -> segment CString.Map.t
-
-val open_out : file:string -> out_handle
-val close_out : out_handle -> unit
-val marshal_out_segment : out_handle -> segment:string -> 'a -> unit
-val marshal_out_binary : out_handle -> segment:string -> out_channel * (unit -> unit)
-(** Low-level API. This function returns a channel and a closure. The channel
-    should only be written to, and once done, the closure should be invoked. *)
-
-end
-
 (** {6 Time stamps.} *)
 
 type time
-- 
cgit v1.2.3