From 0a9317ae26002d018f61581a112703b0b7da10f2 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 20 May 2015 09:51:03 +0200 Subject: [PATCH] doc --- src/string/parse.mli | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/string/parse.mli b/src/string/parse.mli index c6f286ee..5bc0f146 100644 --- a/src/string/parse.mli +++ b/src/string/parse.mli @@ -40,9 +40,10 @@ let mk_leaf x = L x let mk_node x y = N(x,y) let ptree = fix @@ fun self -> - (char '(' *> (pure mk_node <*> self <* skip_chars is_space <*> self) <* char ')') - <|> - (U.int >|= mk_leaf) + skip_space *> + ( (char '(' *> (pure mk_node <*> self <*> self) <* char ')') + <|> + (U.int >|= mk_leaf) ) ;; parse_string_exn "(1 (2 3))" ptree;;