From a7657883e46901319d9dd9aa9d1aa57d22eec6f5 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 23 Nov 2014 14:08:48 +0100 Subject: [PATCH] fix doc --- core/CCIO.ml | 1 - core/CCIO.mli | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) 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