[MLton-commit] r5840

[Vesa Karvonen]

Comment changes.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/generic/unstable/public/closed-cases.sig
U   mltonlib/trunk/com/ssh/generic/unstable/public/layer-cases-fun.sig
U   mltonlib/trunk/com/ssh/generic/unstable/public/layer-rep-fun.sig
U   mltonlib/trunk/com/ssh/generic/unstable/public/open-cases.sig
U   mltonlib/trunk/com/ssh/generic/unstable/public/value/reduce.sig

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

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/closed-cases.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/closed-cases.sig	2007-08-09 01:33:59 UTC (rev 5839)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/closed-cases.sig	2007-08-09 20:28:13 UTC (rev 5840)
@@ -5,7 +5,7 @@
  *)
 
 (**
- * Signature for closed generics.
+ * Signature for closed structural cases.
  *)
 signature CLOSED_CASES = sig
    structure Rep : CLOSED_REP

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/layer-cases-fun.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/layer-cases-fun.sig	2007-08-09 01:33:59 UTC (rev 5839)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/layer-cases-fun.sig	2007-08-09 20:28:13 UTC (rev 5840)
@@ -5,7 +5,7 @@
  *)
 
 (**
- * Signature for the domain of the {LayerGeneric} functor.
+ * Signature for the domain of the {LayerCases} functor.
  *)
 signature LAYER_CASES_DOM = sig
    structure Outer : OPEN_CASES

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/layer-rep-fun.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/layer-rep-fun.sig	2007-08-09 01:33:59 UTC (rev 5839)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/layer-rep-fun.sig	2007-08-09 20:28:13 UTC (rev 5840)
@@ -5,7 +5,7 @@
  *)
 
 (**
- * Signature for the domain of the {LayerGenericRep} functor.
+ * Signature for the domain of the {LayerRep} functor.
  *)
 signature LAYER_REP_DOM = sig
    structure Outer : OPEN_REP

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/open-cases.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/open-cases.sig	2007-08-09 01:33:59 UTC (rev 5839)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/open-cases.sig	2007-08-09 20:28:13 UTC (rev 5840)
@@ -5,9 +5,9 @@
  *)
 
 (**
- * Signature for open generics.  This is basically derived from the
- * {CLOSED_GENERIC} signature by parameterizing the representation to
- * allow building extended representations.
+ * Signature for open structural cases.  This is derived from the
+ * {CLOSED_CASES} signature by parameterizing the representation to allow
+ * building extended representations.
  *)
 signature OPEN_CASES = sig
    structure Rep : OPEN_REP

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/value/reduce.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/value/reduce.sig	2007-08-09 01:33:59 UTC (rev 5839)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/value/reduce.sig	2007-08-09 20:28:13 UTC (rev 5840)
@@ -9,12 +9,19 @@
  *
  * Examples:
  *
- *> - makeReduce 0 op + id int list [1, 2, 3] ;
+ *> - val sum = makeReduce 0 op + id int list ;
+ *> val sum = fn : Int.t List.t -> Int.t
+ *> - sum [1, 2, 3] ;
  *> val it = 6 : Int.t
  *
+ *> - val count = makeReduce 0 op + (const 1) real list ;
+ *> val count = fn : Real.t List.t -> Int.t
+ *> - count [1.0, 4.0, 6.0] ;
+ *> val it = 3 : Int.t
+ *
  *> - makeReduce 0 op + id int (fn t => tuple (T t *` T int *` T t))
  *> = (1 & 3 & 7) ;
- *> val it = 8 : int
+ *> val it = 8 : Int.t
  *
  * This design is experimental.
  *)