Permalink
Browse files

use only InnerIO in interfaces

Batteries_core is not exported, so the final user can not access it
  • Loading branch information...
1 parent e8691a8 commit e1d64ef49ad4c4e3ab5ef463a43afb736d503dc1 @zacchiro zacchiro committed Nov 2, 2008
Showing with 5 additions and 10 deletions.
  1. +0 −1 src/libs/camlzip/GZip.ml
  2. +1 −3 src/libs/camlzip/GZip.mli
  3. +4 −6 src/libs/common/compress.ml
View
@@ -1,6 +1,5 @@
open Batteries_core.System
-open Common
let uncompress input =
let camlzip_in = ExtGzip.open_input input in
@@ -1,6 +1,4 @@
-open Batteries_core
-
(** {1 Common (de)compression interface} *)
(** {2 Decompression} *)
@@ -17,7 +15,7 @@ include Common.Compress.Compressor
(** {2 Compression} *)
-val gzip_compress: ?level:int -> 'a System.IO.output -> 'a System.IO.output
+val gzip_compress: ?level:int -> 'a InnerIO.output -> 'a InnerIO.output
(** gzip-specific compression function, same as [GZip.compress], but
enable to specifiy gzip-specific compression parameters
@@ -1,6 +1,4 @@
-open Batteries_core
-
exception Error of string * exn option
(** Error while compressing/decompressing.
@@ -11,29 +9,29 @@ exception Error of string * exn option
module type Decompressor =
sig
- val uncompress: System.IO.input -> System.IO.input
+ val uncompress: InnerIO.input -> InnerIO.input
(** Wrap an input channel, decompressing transparently data when
reading from it.
Operations performed on the returned channel can raise, in
addition to their usual exceptions, [Error]. *)
-(* val open_in: string -> System.IO.input *)
+(* val open_in: string -> InnerIO.input *)
(* (\** directly open a compressed file to read from it *\) *)
end
module type Compressor =
sig
- val compress: 'a System.IO.output -> 'a System.IO.output
+ val compress: 'a InnerIO.output -> 'a InnerIO.output
(** wrap an output channel, compressing transparently data when
writing to it.
Operations performed on the returned channel can raise, in
addition to their usual exceptions, [Error]. *)
-(* val open_out: string -> unit System.IO.output *)
+(* val open_out: string -> unit InnerIO.output *)
(* (\** directly open a compressed file to write to it *\) *)
end

0 comments on commit e1d64ef

Please sign in to comment.