diff --git a/core/CCIO.ml b/core/CCIO.ml index 5f8a6116..1ebe7064 100644 --- a/core/CCIO.ml +++ b/core/CCIO.ml @@ -26,7 +26,6 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. (** {1 IO Utils} *) -type 'a or_error = [ `Ok of 'a | `Error of string ] (** See {!CCError} *) type 'a gen = unit -> 'a option (** See {!CCGen} *) let with_in ?(mode=0o644) ?(flags=[]) filename f = diff --git a/core/CCIO.mli b/core/CCIO.mli index 20bdd622..3e18f3e9 100644 --- a/core/CCIO.mli +++ b/core/CCIO.mli @@ -59,7 +59,6 @@ Examples: ]} *) -type 'a or_error = [ `Ok of 'a | `Error of string ] (** See {!CCError} *) type 'a gen = unit -> 'a option (** See {!CCGen} *) (** {2 Input} *) @@ -128,6 +127,7 @@ See {!File.walk} if you also need to list directories: {[ # let content = CCIO.File.walk (CCIO.File.make "/tmp");; # CCGen.map CCIO.File.show_walk_item content |> CCIO.write_lines stdout;; +]} *) module File : sig