From ec3295573e97fa652e7f917c971d9023fbe0addc Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Sun, 20 Feb 2011 09:10:00 -0500 Subject: [PATCH] monads.ml tweak Signed-off-by: Jim Pryor --- code/monads.ml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/code/monads.ml b/code/monads.ml index 8b69ec1d..10ef808e 100644 --- a/code/monads.ml +++ b/code/monads.ml @@ -55,9 +55,11 @@ * derived from) *) -exception Undefined (* Some library functions used below. *) + +exception Undefined + 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 - - (* * 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 @@ -1037,6 +1038,7 @@ end = struct let distribute f t = mapT (fun a -> elevate (f a)) t zero plus let expose u = u end + end;; -- 2.11.0