From a0f3a5d24b01deb9e7b20ceb712592518febdd8d Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 24 Jan 2017 23:28:08 +0100 Subject: [PATCH] update comments in CCParse --- src/core/CCParse.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core/CCParse.mli b/src/core/CCParse.mli index 0d532a5b..86bb30b5 100644 --- a/src/core/CCParse.mli +++ b/src/core/CCParse.mli @@ -26,7 +26,7 @@ parse_string_exn ptree "((1 2) (3 (4 5)))" ;; {6 Parse a list of words} {[ -open Containers_string.Parse;; +open Containers.Parse;; let p = U.list ~sep:"," U.word;; parse_string_exn p "[abc , de, hello ,world ]";; ]} @@ -39,7 +39,7 @@ let p = CCParse.(U.list ~sep:"," U.int);; let l = CCList.(1 -- 100_000);; let l_printed = - CCFormat.to_string (CCList.print ~sep:"," ~start:"[" ~stop:"]" CCInt.print) l;; + CCFormat.(to_string (within "[" "]" (list ~sep:(return ",@,") int))) l;; let l' = CCParse.parse_string_exn p l_printed;;