From d36e8dd38e3f8366c4723679dcb233c98d3d48e3 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 28 Jun 2014 04:01:18 +0200 Subject: [PATCH] bugfix; more tests --- core/CCString.ml | 7 +------ core/CCString.mli | 6 ++++++ 2 files changed, 7 insertions(+), 6 deletions(-) diff --git a/core/CCString.ml b/core/CCString.ml index ff37b99d..2f5094f3 100644 --- a/core/CCString.ml +++ b/core/CCString.ml @@ -92,7 +92,7 @@ module Split = struct and _split_search ~by s prev i = if i >= String.length s then Some (SplitStop, prev, String.length s - prev) - else if _is_prefix ~by s i 0 && i>prev + else if _is_prefix ~by s i 0 then Some (SplitAt (i+String.length by), prev, i-prev) else _split_search ~by s prev (i+1) @@ -142,11 +142,6 @@ module Split = struct let seq ~by s = _mkseq ~by s _tuple3 let seq_cpy ~by s = _mkseq ~by s String.sub - - (*$T - Split.list_cpy ~by:"," "aa,bb,cc" = ["aa"; "bb"; "cc"] - Split.list_cpy ~by:"--" "a--b----c--" = ["a"; "b"; ""; "c"; ""] - *) end (* note: inefficient *) diff --git a/core/CCString.mli b/core/CCString.mli index 65997b77..83e72342 100644 --- a/core/CCString.mli +++ b/core/CCString.mli @@ -111,6 +111,12 @@ module Split : sig val list_cpy : by:t -> t -> t list + (*$T + Split.list_cpy ~by:"," "aa,bb,cc" = ["aa"; "bb"; "cc"] + Split.list_cpy ~by:"--" "a--b----c--" = ["a"; "b"; ""; "c"; ""] + Split.list_cpy ~by:" " "hello world aie" = ["hello"; ""; "world"; "aie"] + *) + val gen_cpy : by:t -> t -> t gen val seq_cpy : by:t -> t -> t sequence