simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-06 03:05:28 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

updated test in parseReact; fixed a bug

Browse source
This commit is contained in:
Simon Cruanes 2014-06-11 21:53:47 +02:00
parent 39f5e135bd
commit 021508968c
1 changed files with 12 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
misc/parseReact.ml
View file

@ -210,7 +210,7 @@ let run p seq =
(* how to parse the input: step by step, starting with [p] as initial parser *) (* how to parse the input: step by step, starting with [p] as initial parser *)
let step l x = CCList.flat_map (fun p -> consume_one p x) l in let step l x = CCList.flat_map (fun p -> consume_one p x) l in
let initial_state = p >>> fun x -> [STBottom x] in let initial_state = p >>> fun x -> [STBottom x] in
let res = _fold_seq step [initial_state] seq in let res = _fold_seq step (reduce initial_state) seq in
(* signal "end of input" *) (* signal "end of input" *)
let res = CCList.flat_map finish res in let res = CCList.flat_map finish res in
(* recover results *) (* recover results *)
@ -220,16 +220,18 @@ let run p seq =
| _ -> None | _ -> None
) res ) res
(*$R
type sexp = Atom of string | List of sexp list \
let atom i = Atom i \
let list_ i = List i \
(*$R
let module S = struct type t = Atom of string | List of t list end in
let open S in
let (%) f g x = f (g x) in
let atom i = Atom i in
let list_ i = List i in
let rec p () = let rec p () =
(skip_spaces >> ident >>= atom) (skip_spaces >> ident >>= (return % atom))
<|> (skip_spaces >> exact '(' >> many1 ~sep:(exact ' ') (delay p) >>= fun l <|> (skip_spaces >> exact '(' >> many1 ~sep:(exact ' ') (delay p) >>= fun l ->
>> skip_spaces >> exact ')' >> return (list_ l)) skip_spaces >> exact ')' >> return (list_ l))
in in
run (p ()) (CCSequence.of_string "(a b (c d))") = let res = run (p ()) (CCSequence.of_str "(a b (c d))") in
[list_ [atom "a"; atom "b"; list_ [atom "c"; atom "d"]]] assert_equal res [list_ [atom "a"; atom "b"; list_ [atom "c"; atom "d"]]]
*) *)