X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Fmonads.ml;h=ae0ecc51690c82d0bb5316ec142c4cd8786d1518;hp=0b6af2ed38f013fd492d727257d8b23f1041a67b;hb=1d3dba7d49400782f8d5529e4a3c850f4ab7f16c;hpb=7558e0c822a0596c0b9096d87e7f433f095933ed 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)