monads.ml tweak

[lambda.git] / code / monads.ml

diff --git a/code/monads.ml b/code/monads.ml
index 8b69ec1..10ef808 100644 (file)
--- a/code/monads.ml
+++ b/code/monads.ml
@@ -55,9 +55,11 @@
  * derived from)
  *)
 
  * derived from)
  *)
 

-exception Undefined

 
 (* Some library functions used below. *)
 
 (* Some library functions used below. *)

+
+exception Undefined
+

 module Util = struct
   let fold_right = List.fold_right
   let map = List.map
 module Util = struct
   let fold_right = List.fold_right
   let map = List.map


@@ -78,14 +80,13 @@ module Util = struct
   let undef = Obj.magic (fun () -> raise Undefined)
 end
 
   let undef = Obj.magic (fun () -> raise Undefined)
 end
 

-
-

 (*
  * This module contains factories that extend a base set of
  * monadic definitions with a larger family of standard derived values.
  *)
 
 module Monad = struct
 (*
  * This module contains factories that extend a base set of
  * monadic definitions with a larger family of standard derived values.
  *)
 
 module Monad = struct

+

   (*
    * Signature extenders:
    *   Make :: BASE -> S
   (*
    * Signature extenders:
    *   Make :: BASE -> S


@@ -1037,6 +1038,7 @@ end = struct
     let distribute f t = mapT (fun a -> elevate (f a)) t zero plus
     let expose u = u
   end
     let distribute f t = mapT (fun a -> elevate (f a)) t zero plus
     let expose u = u
   end

+

 end;;
 
 
 end;;