[MLton-commit] r5376

[Vesa Karvonen]

Titles and reminder to investigate.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/concept/monad.sig

----------------------------------------------------------------------

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/concept/monad.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/concept/monad.sig	2007-03-01 17:07:11 UTC (rev 5375)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/concept/monad.sig	2007-03-01 17:23:07 UTC (rev 5376)
@@ -4,6 +4,8 @@
  * See the LICENSE file or http://mlton.org/License for details.
  *)
 
+(** == Monad == *)
+
 signature MONAD_CORE = sig
    type 'a monad
    val return : 'a -> 'a monad
@@ -25,6 +27,8 @@
    include MONAD_EX where type 'a monad_ex = 'a monad
 end
 
+(** == Monad Plus == *)
+
 signature MONADP_CORE = sig
    include MONAD_CORE
    val zero : 'a monad
@@ -44,6 +48,8 @@
 
 (************************************************************************)
 
+(* XXX Should the following be removed? *)
+
 signature MONAD_CORE' = sig
    type ('a, 'x) monad
    val return : 'a -> ('a, 'x) monad