From 1d3dba7d49400782f8d5529e4a3c850f4ab7f16c Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sat, 11 Dec 2010 11:21:50 -0500 Subject: [PATCH] tweak monads-lib Signed-off-by: Jim Pryor --- code/monads.ml | 3 --- 1 file changed, 3 deletions(-) diff --git a/code/monads.ml b/code/monads.ml index 0b6af2ed..ae0ecc51 100644 --- a/code/monads.ml +++ b/code/monads.ml @@ -676,7 +676,6 @@ end = struct 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 @@ -706,7 +705,6 @@ end = struct 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) @@ -764,7 +762,6 @@ end = struct 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) -- 2.11.0