From: Jim Pryor <profjim@jimpryor.net>
Date: Sat, 11 Dec 2010 16:21:50 +0000 (-0500)
Subject: tweak monads-lib
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=1d3dba7d49400782f8d5529e4a3c850f4ab7f16c

tweak monads-lib

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

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)