Merge PR #12092: Implement a name-based representation for vo files.

Reviewed-by: ejgallego
Ack-by: gares

1 files changed, 2 insertions, 10 deletions

diff --git a/lib/system.mli b/lib/system.mli
index 00701379bd..4a8c35b6ea 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,15 +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
 
-(** Clones of Digest.output and Digest.input (with nice error message) *)
-
-val digest_out : out_channel -> Digest.t -> unit
-val digest_in : string -> in_channel -> Digest.t
-
-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
-
 (** {6 Time stamps.} *)
 
 type time