tweak monads-lib

[lambda.git] / code / monads.ml

diff --git a/code/monads.ml b/code/monads.ml
index 0b6af2e..ae0ecc5 100644 (file)
--- 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)