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

a few todos

Browse source
This commit is contained in:
Simon Cruanes 2015-03-31 17:18:17 +02:00
parent e22c29c27f
commit c8005f388a
1 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
src/misc/backtrack.ml
View file

@ -114,6 +114,8 @@ module Logical (P:Param) = struct
let rcons x cont = RCons (x, cont) let rcons x cont = RCons (x, cont)
let rnil e = RNil e let rnil e = RNil e
(* TODO: maybe (('a * state), exn -> state -> 'a t) list_view is better
for bind and local? *)
type 'a splitted = (('a * state), exn -> 'a t) list_view type 'a splitted = (('a * state), exn -> 'a t) list_view
let rec run_rec let rec run_rec
@ -146,9 +148,14 @@ module Logical (P:Param) = struct
| Put w -> cons ((), {st with w}) zero | Put w -> cons ((), {st with w}) zero
| Current -> cons (st.e, st) zero | Current -> cons (st.e, st) zero
| Local (e,x) -> | Local (e,x) ->
(* bind [st.e = e] in [x] *) (* bind [st.e = e] in [x], then restore old [e] in each result *)
let old_e = st.e in
let st' = {st with e} in let st' = {st with e} in
run_rec st' x begin match run_rec st' x with
| Nil e -> Nil e
| Cons ((x, st''), cont) ->
cons (x, {st'' with e=old_e}) (fun e -> assert false) (* TODO: restore old_e*)
end
| Update f -> | Update f ->
let st = {st with u=f st.u} in let st = {st with u=f st.u} in
cons ((), st) zero cons ((), st) zero