Signed-off-by: Jim Pryor <profjim@jimpryor.net>
let run_exn u =
let w = Wrapped.bind u (fun t -> match t with
| Success a -> Wrapped.unit a
let run_exn u =
let w = Wrapped.bind u (fun t -> match t with
| Success a -> Wrapped.unit a
- (* | _ -> Wrapped.fail () *)
| Error e -> raise (Err.Exc e))
in Wrapped.run_exn w
end
| Error e -> raise (Err.Exc e))
in Wrapped.run_exn w
end
let run_exn u =
let w = Wrapped.bind u (fun t -> match t with
| Success a -> Wrapped.unit a
let run_exn u =
let w = Wrapped.bind u (fun t -> match t with
| Success a -> Wrapped.unit a
- (* | _ -> Wrapped.fail () *)
| Error e -> raise (Err.Exc e))
in Wrapped.run_exn w
end)
| Error e -> raise (Err.Exc e))
in Wrapped.run_exn w
end)
let run_exn u =
let w = Wrapped.bind u (fun t -> match t with
| Success a -> Wrapped.unit a
let run_exn u =
let w = Wrapped.bind u (fun t -> match t with
| Success a -> Wrapped.unit a
- (* | _ -> Wrapped.fail () *)
| Error e -> raise (Err.Exc e))
in Wrapped.run_exn w
end)
| Error e -> raise (Err.Exc e))
in Wrapped.run_exn w
end)