[MLton-commit] r5636

[Vesa Karvonen]

Simplified.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml
U   mltonlib/trunk/com/ssh/generic/unstable/public/closed-generic.sig

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

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml	2007-06-16 17:35:43 UTC (rev 5635)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml	2007-06-16 19:56:39 UTC (rev 5636)
@@ -17,17 +17,12 @@
    fun op0 outer t x = outer (t, x)
    fun op1 outer f g = outer (Pair.map (f, g))
    fun op2 outer f g = outer (Pair.map (f, g) o Pair.swizzle)
-
-   fun t outer t2p x2y = outer (Pair.map (t2p, x2y))
+   val t = op1
    fun r outer lt2p lx2y = outer (Pair.map o Pair.map (lt2p, lx2y) o Sq.mk)
-
    fun c0 outer l2s l2x = outer (Pair.map (l2s, l2x) o Sq.mk)
-   fun c1 outer lt2s lx2y = outer (Pair.map o Pair.map (lt2s, lx2y) o Sq.mk)
-
+   val c1 = r
    fun y outer x y = outer (Tie.tuple2 (x, y))
-
    fun morph outer iso' f = outer (fn (a, x) => fn i => (iso' a i, f x i))
-
    fun re outer ex ey =
        outer (fn (x, y) => fn e => (ex x e : Unit.t ; ey y e : Unit.t))
 end

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/closed-generic.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/closed-generic.sig	2007-06-16 17:35:43 UTC (rev 5635)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/closed-generic.sig	2007-06-16 19:56:39 UTC (rev 5636)
@@ -33,8 +33,7 @@
 
    (** == Support for Tuples and Records == *)
 
-   val *` :
-       ('a, 'k) Rep.p * ('b, 'k) Rep.p -> (('a, 'b) Product.t, 'k) Rep.p
+   val *` : ('a, 'k) Rep.p * ('b, 'k) Rep.p -> (('a, 'b) Product.t, 'k) Rep.p
    (**
     * Given representations for fields of type {'a} and {'b} of the same
     * kind {'k} (tuple or record), returns a representation for the