[MLton-commit] r5644

[Vesa Karvonen]

Whitespace changes.
----------------------------------------------------------------------

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

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

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml	2007-06-19 05:27:28 UTC (rev 5643)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/generics-util.sml	2007-06-19 05:27:51 UTC (rev 5644)
@@ -16,7 +16,7 @@
 end
 
 functor MkClosedGenericRep (type 'a t) : CLOSED_GENERIC_REP = struct
-   type 'a t = 'a t
-   type 'a s = 'a t
+   type  'a      t = 'a t
+   type  'a      s = 'a t
    type ('a, 'k) p = 'a t
 end

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/root-generic.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/root-generic.sml	2007-06-19 05:27:28 UTC (rev 5643)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/root-generic.sml	2007-06-19 05:27:51 UTC (rev 5644)
@@ -11,15 +11,15 @@
 
    structure Rep = struct
       type ('a, 'x) t = 'x
+      type ('a, 'x) s = 'x
+      type ('a, 'k, 'x) p = 'x
+
       val getT = id
+      val getS = id
+      val getP = id
+
       val mapT = id
-
-      type ('a, 'x) s = 'x
-      val getS = id
       val mapS = id
-
-      type ('a, 'k, 'x) p = 'x
-      val getP = id
       val mapP = id
    end
 

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/closed-generic-rep.sig
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/closed-generic-rep.sig	2007-06-19 05:27:28 UTC (rev 5643)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/closed-generic-rep.sig	2007-06-19 05:27:51 UTC (rev 5644)
@@ -8,7 +8,7 @@
  * Signature for the closed representation types of generics.
  *)
 signature CLOSED_GENERIC_REP = sig
-   type 'a t         (** Type of complete representations. *)
-   type 'a s         (** Type of incomplete sum representations. *)
+   type  'a      t   (** Type of complete representations. *)
+   type  'a      s   (** Type of incomplete sum representations. *)
    type ('a, 'k) p   (** Type of incomplete product representations. *)
 end

Modified: mltonlib/trunk/com/ssh/generic/unstable/public/export.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/public/export.sml	2007-06-19 05:27:28 UTC (rev 5643)
+++ mltonlib/trunk/com/ssh/generic/unstable/public/export.sml	2007-06-19 05:27:51 UTC (rev 5644)
@@ -58,8 +58,8 @@
 
 functor CloseGeneric (Arg : OPEN_GENERIC) :
    CLOSED_GENERIC
-      where type 'a Rep.t = ('a, Unit.t) Arg.Rep.t
-      where type 'a Rep.s = ('a, Unit.t) Arg.Rep.s
+      where type  'a      Rep.t = ('a,     Unit.t) Arg.Rep.t
+      where type  'a      Rep.s = ('a,     Unit.t) Arg.Rep.s
       where type ('a, 'k) Rep.p = ('a, 'k, Unit.t) Arg.Rep.p =
    CloseGeneric (Arg)
 (** Closes an open generic. *)
@@ -68,12 +68,9 @@
 
 functor JoinGenerics (Arg : JOIN_GENERICS_DOM) :
    OPEN_GENERIC
-      where type ('a, 'b) Rep.t =
-                 ('a, ('a, 'b) Arg.Inner.Rep.t) Arg.Outer.Rep.t
-      where type ('a, 'b) Rep.s =
-                 ('a, ('a, 'b) Arg.Inner.Rep.s) Arg.Outer.Rep.s
-      where type ('a, 'b, 'c) Rep.p =
-                 ('a, 'b, ('a, 'b, 'c) Arg.Inner.Rep.p) Arg.Outer.Rep.p =
+      where type ('a,   'x) Rep.t = ('a,   ('a,   'x) Arg.Inner.Rep.t) Arg.Outer.Rep.t
+      where type ('a,   'x) Rep.s = ('a,   ('a,   'x) Arg.Inner.Rep.s) Arg.Outer.Rep.s
+      where type ('a,'k,'x) Rep.p = ('a,'k,('a,'k,'x) Arg.Inner.Rep.p) Arg.Outer.Rep.p =
    JoinGenerics (Arg)
 (**
  * Joins two open generic functions.  As can be read from the constraints,
@@ -102,8 +99,8 @@
 
 functor LayerGeneric (Arg : LAYER_GENERIC_DOM) :
    OPEN_GENERIC
-      where type ('a, 'x) Rep.t = ('a, 'x) Arg.Result.t
-      where type ('a, 'x) Rep.s = ('a, 'x) Arg.Result.s
+      where type ('a,     'x) Rep.t = ('a,     'x) Arg.Result.t
+      where type ('a,     'x) Rep.s = ('a,     'x) Arg.Result.s
       where type ('a, 'k, 'x) Rep.p = ('a, 'k, 'x) Arg.Result.p =
    LayerGeneric (Arg)
 (**