Simplify string_body even more

feihong · Aug 23, 2021 · 517e6ef · 517e6ef
1 parent 3f721fb
commit 517e6ef
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/json_combinator.ml b/json_combinator.ml
@@ -35,10 +35,9 @@ let boolean =
   true' <|> false'
 
 let string_body =
-  any >>= function
-  | '"' -> mzero (* terminate string *)
-  | '\\' -> any >>= fun c2 -> return ['\\'; c2]
-  | c -> return [c]
+  let escape_sequence = exactly '\\' >> any >>= fun c2 -> return ['\\'; c2] in
+  let not_quote = satisfy ((<>) '"') => fun c -> [c] in
+  escape_sequence <|> not_quote
 
 let pure_string =
   let* _ = exactly '"' in